[pjmlp]

There are other microkernels to chose from, like QNX or INTEGRITY OS.