
QSOE ships with the same user-space and two kernel opttions: QSOE/N that is using the Skimmer micro-kernel that was written from scratch for this project. And then there is QSOE/L as running the seL4 micro-kernel. QSOE borrows design principles from QNX Neutrino of a small kernel with everything else in user-space, async message-passing





