This whitepaper provides an introduction to and overview of seL4. We explain what seL4 is (and is not) and explore its defining features. We explain what makes seL4 uniquely qualified as the operating-system kernel of choice for security- and safety-critical systems, and generally embedded and cyber-physical systems. In particular, we explain seL4’s assurance story, its security- and safety-relevant features, and its benchmark-setting performance. We also discuss typical usage scenarios, including incremental cyber retrofit of legacy systems.
↫ Gernot Heiser
Some light reading for Monday.
The best operating system kernel!
But if it’s so good, why doesn’t anyone use it?
Perhaps because there seems to be no accompanying userland or an interface to an existing userland. That would probably involve X11/Wayland, which is a big barrier. Maybe one solution to these OS kernels is to create a general toolkit for these interfaces?
It is used in the automotive industry. I think it’s also used (just like other L4 kernels before) as a hypervisor