System operacyjny KataOS i platforma Sparrow – nowe produkty Google’a
Google zapowiedziało rozpoczęcie prac nad KataOS — nowym systemem operacyjnym chroniącą internet rzeczy — oraz referencyjną platformą Sparrow, mającą wspomagać nowe zabezpieczenia.
W naszym otoczeniu jest coraz więcej inteligentnych urządzeń, a wraz z nimi wzrasta ryzyko wykradnięcia naszych danych poprzez luki w sprzęcie i ich oprogramowaniu. Nowy projekt open source ma zniwelować ten problem.
Google ogłosił na swoim blogu open source KataOS. Jest to bezpieczny system operacyjny oparty na mikrojądrze seL4. Oprogramowanie zostało utworzone dla urządzeń inteligentnych. Z kolei Projekt Sparrow ma na celu dostarczenie sprzętu referencyjnego dla KataOS i RISC-V, tworząc tym samym bezpieczną platformę dla internetu rzeczy. System dodatkowo będzie chronić użycie języka programowania Rust, którego struktura eliminuje wiele klas błędów takich jak przepełnienie bufora czy błędy pokroju off by one.
W oparciu o mikrojądro seL4 oraz we współpracy z firmą Antmicro, która specjalizuje się w rozwiązaniach przemysłowych dla AI, ML, Cloud i Edge, powstały również stosowne symulatory i frameworki.
Platforma referencyjna Sparrow pozwalać będzie na korzystanie z systemu KataOS systemom zbudowanym w tradycyjnej architekturze ARM. W przyszłości ma wspierać także architekturę RISC-V — wtedy otwarty standard będzie miał zarówno system operacyjny, jak i oprogramowanie sprzętu.
Dodatkowo Sparrow zawierać będzie logicznie bezpieczny rdzeń zaufania, zbudowany za pomocą OpenTitan na architekturze RISC-V. Jednakże w pierwszej wersji oprogramowania kluczowe będzie wpasowanie się w standardową 64-bitową platformę ARM, uruchamiającą symulację z QEMU.
W ostatecznej wersji zarówno KataOS, jak i Sparrow powinny być całkowicie inkluzywne. Aktualny stan rozwoju widoczny jest na stronie projektu, znajdującej się na platformie deweloperskiej GitHub. Oficjalna strona internetowa zawiera także dalsze informacje na temat jądra systemu operacyjnego, którego bezpieczeństwo można udowodnić strona Fundacja seL4.
W naszym otoczeniu jest coraz więcej inteligentnych urządzeń, a wraz z nimi wzrasta ryzyko wykradnięcia naszych danych poprzez luki w sprzęcie i ich oprogramowaniu. Nowy projekt open source ma zniwelować ten problem.
Google ogłosił na swoim blogu open source KataOS. Jest to bezpieczny system operacyjny oparty na mikrojądrze seL4. Oprogramowanie zostało utworzone dla urządzeń inteligentnych. Z kolei Projekt Sparrow ma na celu dostarczenie sprzętu referencyjnego dla KataOS i RISC-V, tworząc tym samym bezpieczną platformę dla internetu rzeczy. System dodatkowo będzie chronić użycie języka programowania Rust, którego struktura eliminuje wiele klas błędów takich jak przepełnienie bufora czy błędy pokroju off by one.
W oparciu o mikrojądro seL4 oraz we współpracy z firmą Antmicro, która specjalizuje się w rozwiązaniach przemysłowych dla AI, ML, Cloud i Edge, powstały również stosowne symulatory i frameworki.
Platforma referencyjna Sparrow pozwalać będzie na korzystanie z systemu KataOS systemom zbudowanym w tradycyjnej architekturze ARM. W przyszłości ma wspierać także architekturę RISC-V — wtedy otwarty standard będzie miał zarówno system operacyjny, jak i oprogramowanie sprzętu.
Dodatkowo Sparrow zawierać będzie logicznie bezpieczny rdzeń zaufania, zbudowany za pomocą OpenTitan na architekturze RISC-V. Jednakże w pierwszej wersji oprogramowania kluczowe będzie wpasowanie się w standardową 64-bitową platformę ARM, uruchamiającą symulację z QEMU.
W ostatecznej wersji zarówno KataOS, jak i Sparrow powinny być całkowicie inkluzywne. Aktualny stan rozwoju widoczny jest na stronie projektu, znajdującej się na platformie deweloperskiej GitHub. Oficjalna strona internetowa zawiera także dalsze informacje na temat jądra systemu operacyjnego, którego bezpieczeństwo można udowodnić strona Fundacja seL4.
1