Kata OS und Project Sparrow: Google legt "beweisbar sicheres" Betriebssystem offen

Auf Basis von Sel4 hat Google mit Kata OS ein System in Rust geschrieben. Referenzhardware soll es ebenfalls geben. (Betriebssystem, Embedded Systems)
Quelle: Golem

Published by