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.

Avatar
Gru 19
Zalety nowego modelu sztucznej inteligencji Gemini Pro dla developerów
Mar 21
Intel otrzymuje 8,5 miliarda dolarów na budowę fabryk układów scalonych
Prezydent Biden przyznał w środę 8,5 miliarda dolarów w formie dotacji dla firmy Intel, co stanowi znaczącą inwestycję mającą wzmocnić produkcję półprzewodników w Stanach Zjednoczonych.
Kwi 7
Majątek Marka Zuckerberga przekroczył majątek Elona Muska po raz pierwszy od 2020 roku
Założyciel Meta Mark Zuckerberg wyprzedził szefa Tesli Elona Muska i został trzecią najbogatszą osobą na świecie według rankingu Bloomberg Billionaires Index. Stało się to po raz pierwszy od listopada 2020 roku.

Ta strona używa plików cookie, aby zapewnić Ci lepsze wrażenia podczas przeglądania.

Dowiedz się więcej o tym, jak używamy plików cookie i jak zmienić preferencje dotyczące plików cookie w naszej Polityka plików cookie.

Zmień ustawienia
Zapisz Akceptuj wszystkie cookies