Counterpoints: https://www.cs.vu.nl/%7East/reliable-os/ https://www.cs.vu.nl/%7East/reliable-os/ Especially QNX [1]. Green Hill's INTEGRITY, Sysgo's PikeOS, a

Counterpoints: https://www.cs.vu.nl/%7East/reliable-os/ https://www.cs.vu.nl/%7East/reliable-os/ Especially QNX [1]. Green Hill's INTEGRITY, Sysgo's PikeOS, and Lynx's LynxOS-178B are other examples in safety-critical fields like aerospace. I think DDC-I's DEOS, which is in a bunch of aircraft systems, looked like a microkernel in its architectural diagrams. One of their main advantages, other than size, is that they let you evaluate systems piece by piece looking at components in isolation and then their specific, permitted interactions. Traditional monoliths might have control flow and state changes jumping all over the place. [1] Look up demos of the Blackberry Playbook vs iPad to see how usable, fast, and stutter free QNX-based system was.