3 ms·
There is QNX. seL4 is another. The former is proprietary. The latter kernel is GPL2, similar to Linux.
by topspin 9mo ago
There is QNX. seL4 is another.
The former is proprietary. The latter kernel is GPL2, similar to Linux.
- panick21_ 9mo agoQNX 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