Comment by spencerflem
21 hours ago
Very cool! I’m a huge fan of Genode, another OS that runs on SeL4. Does anyone here know how they compare?
21 hours ago
Very cool! I’m a huge fan of Genode, another OS that runs on SeL4. Does anyone here know how they compare?
> Genode, another OS that runs on SeL4.
Hang on, what? Genode can run on seL4 but seL4 is not part of it. Genode can also run on Linux and a bunch of other things. It has its own native kernel and it's not based on seL4 in any way, AFAIK.
No, you’re totally right I phrased it badly
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