Google otworzył kod zabezpieczonego systemu operacyjnego KataOS
Firma Google ogłosiła otwarcie prac związanych z projektem KataOS, który ma na celu stworzenie bezpiecznego systemu operacyjnego dla sprzętu wbudowanego. Komponenty systemowe KataOS są napisane w języku Rust i działają na mikrojądrze seL4, dla którego na systemach RISC-V dostarczono dowód matematyczny dotyczący niezawodności, potwierdzający pełne zgodność kodu ze specyfikacjami określonymi w języku formalnym. Kod projektu jest dostępny na licencji […]
