[nwmcsween]

How is more privileged code more secure, I'm not even going to try to reason with you. The OKL4 and QNX microkernels are used in millions of devices from smartphones to planes.

[Locke1689]

So is VxWorks. Your point?