LionsOS: an adaptable OS based on the seL4 microkernel

LionsOS is an operating system based on theseL4 microkernelwith the goal of making the achievements of seL4 accessible. That is, to provide performance, security, and reliability.

[...]

It is not a conventional operating system, but contains composable components for creating custom operating systems that are specific to a particular task. Components are joined together using theMicrokittool.

LionsOS website

The project is under active research and development, led by theTrustworthy Systemsresearch group atUNSW Sydneyin Australia. The source code is available on GitHub.