LionsOS: Security and Performance
Gernot Heiser is giving a presentation on the LionsOS operating system. The operating system is based on the seL4 microkernel. It was developed by the “Trustworthy Systems” research group at UNSW Sydney.
The full recording can be found here:
Our speaker
Gernot Heiser leads the “Trustworthy Systems” research group at UNSW Sydney.