2 ms·
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.
by panick21_ 9mo ago
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.
- wickrom 9mo agoWhat did you mean by a dynamic system ?
- pjmlp 9mo agoOne where processes, drivers and libraries come and go during the whole OS uptime.
- LargoLasskhyfv 9mo agoThere is Genode, which can run atop of seL4(amongst others). https://genode.org/ https://genode.org/ https://genodians.org/ https://genodians.org/ https://en.wikipedia.org/wiki/Genode https://en.wikipedia.org/wiki/Genode