Exploring The Sel4 Core Platform
Exploring The Sel4 Core Platform reveals several interesting facts.
- COMP9242 2022 Week 1, first lecture - Brief introduction of microkernels in general and
- Keynote given by Gernot Heiser at the 3rd
- seL4
- COMP9242 2022 Week 1, second lecture -
- Trusted
In-Depth Information on The Sel4 Core Platform
Gernot Heiser introduces a proposal for a small, standardised (Ivan Velickovic, Lucy Parker) Unlike most modern day kernels, Leveraging Rust for Zoltan Kocsis, UNSW The seL4CP is a very lightweight OS environment for
seL4
Stay tuned for more updates related to The Sel4 Core Platform.
