And seL4 is a kernel, not an OS. And it pretty hard to work with specially if you want any kind of dynamic system.
https://genode.org/
https://genodians.org/
https://en.wikipedia.org/wiki/Genode
And seL4 is a kernel, not an OS. And it pretty hard to work with specially if you want any kind of dynamic system.