KataOS & Sparrow: Googles Betriebssystem ist beweisbar sicher konzipiert

Wie Google auf seinem Open Source Blog ankündigt, soll KataOS als beweisbar sicheres Betriebssystem auf Basis des Microkernel seL4 für smarte Geräte und solche aus dem Embedded-Bereich konzipiert worden sein. Das Projekt Sparrow soll die Referenzhardware, KataOS und RISC-V zu einer sicheren Plattform vereinen.

Quelle: Feed/Computerbase.de [ mehr ]