LionsOS is an operating system based on the seL4 microkernel with 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 the Microkit tool.
↫ LionsOS website
The project is under active research and development, led by the Trustworthy Systems research group at UNSW Sydney in Australia. The source code is available on GitHub.
So it’s like Genode but only for seL4.
I thought exactly the same: and Genode already can use the sel4 kernel, iirc. Sounds like a case of “not invented here” syndrome.
It does seem to validate Genode’s approach. If only the two projects were to combine forces, we might be getting somewhere.