Microkernels are too slow for real time systems

"The avionics of all modern jetliners and military aircraft runs on microkernels. What’s good enough for the latest generation aircraft should be good enough for you." -- Gernot

"The earliest microkernels such as MERT have a performance that is within 30% of anything else so this is not a real problem" -- Phil