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