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 oprogramowaniu. Nowy projekt open source ma zniwelować ten problem.
Kilka dni temu Google zapowiedziało rozpoczęcie prac nad KataOS, nowym systemie operacyjnym dla systemów wbudowanych. Jego sercem będzie skupione na bezpieczeństwie i prywatności mikrojądro seL4 - stworzone w 2009 roku jądro, którego bezbłędność została udowodniona matematycznie. System dodatkowo ochroni użycie języka programowania Rust, którego struktura eliminuje wiele klas błędów takich jak przepełnienie bufora czy błędy typu off by one.
Wraz z nowym systemem operacyjnym Google zaprezentowało referencyjną platformę Sparrow, która obecnie pozwala 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 sprzęt.
09.11.2026
