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.