Very cool! I’m a huge fan of Genode, another OS that runs on SeL4. Does anyone here know how they compare?

Genode is a framework that can run on many places and on higher level has its own abstractions. Lion OS is based on Microkit the framework developed by the seL4 people that will also be verified. So Lion OS/Microkit is basically the outgrowth of the original seL4 research.

Unequal