I'd rather look at seL4, pragmatically speaking.
I thought QNX had more features for real-world uses. seL4 was a separation kernel. They’re microkernels stripped down.
You already have to add things to microkernel-based systems to make them useful. You have to add even more to those based on separation kernels.
alt Hacker News
I thought QNX had more features for real-world uses. seL4 was a separation kernel. They’re microkernels stripped down.
You already have to add things to microkernel-based systems to make them useful. You have to add even more to those based on separation kernels.