QNX is not open source.
And seL4 is a kernel, not an OS. And it pretty hard to work with specially if you want any kind of dynamic system.
And seL4 is a kernel, not an OS. And it pretty hard to work with specially if you want any kind of dynamic system.