Video: Demonstration des Microkernels Sel4

Die australische Nicta demonstriert den Einsatz des Microkernels Sel4. Er soll durch mehrfache Verifizierung vollkommen fehlerfrei sein. Zusätzliche Sicherheitsfunktionen sollen ihn für den Einsatz in sensiblen Bereichen empfehlen.

Video veröffentlicht am
Demonstration des Microkernels Sel4
Folgen Sie uns