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.