Auf Basis von seL4 hat Google mit Kata OS ein System in Rust geschrieben. Referenzhardware soll es ebenfalls geben. (Betriebssystem, Embedded Systems)
Der Beitrag Kata OS und Project Sparrow: Google legt „beweisbar sicheres“ Betriebssystem offen erschien zuerst auf Rene Telemann.
Der Beitrag Kata OS und Project Sparrow: Google legt „beweisbar sicheres“ Betriebssystem offen erschien zuerst auf Telemann Solutions CTP.
