LionsOS: Sicherheit und Leistung
Gernot Heiser stellt das Betriebssystem LionsOS vor. Diese OS basiert auf dem seL4-Mikrokernel. Es wurde von der Forschungsgruppe „Trustworthy Systems“ an der UNSW Sydney entwickelt.
Die vollständige Aufzeichnung findet sich hier:
Unser Redner
Gernot Heiser leitet die Forschungsgruppe "Trustworthy Systems" an der UNSW Sydney.