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.

Quelle: Feed/Golem.de [ mehr ]