This kernel is a member of the L4 microkernel family. SeL4 is a mathematically proven correct, bug-free operating system kernel. It's designed to enforce strong security properties.

OKL4, Open Kernel Labs' commercial version of the L4 microkernel, provides the required features for next-generation medium- to high-end embedded systems. These include virtualization and ...

Based on the L4 microkernel family, OKL4 is widely employed for mobile virtualization. See virtual machine. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction requires permission.

Mathematically-secure Australian seL4 microkernel gains global boost News Apr 13, 2020 4 mins Internet of Things Operating Systems Security ...

The secure embedded L4 (seL4) microkernel was developed by Data61 to provide a reliable, secure, fast and verified base for building trustworthy operating systems that handle sensitive information ...