| ▲ | panick21_ 5 hours 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 4 hours ago | parent [-] | |
What did you mean by a dynamic system ? | ||
| ▲ | panick21_ 5 hours 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 4 hours ago | parent [-] | |
What did you mean by a dynamic system ? | ||