LionsOS: Sicherheit und Leistung
Gernot Heiser hält einen Vortrag zum Betriebssystem LionsOS. Das Betriebssystem 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.