By early 2012, deployments of OKL4 had surpassed 1.5 billion, particularly in GSM baseband processors.
INTEGRITY, particularly its variant INTEGRITY-178B has an Evaluation Assurance Level of 6 and is compliant with the DO-178B standards for avionics software (hence the name), making it used in the B-2, F-16, F-22, F-35, Airbus A380 and others.
Nokia’s Symbian, lasting for over a decade, used a microkernel for the primary mobile operating system, disproving any notions of unsuitability for such devices.
QNX is used in military hardware, industrial automation, vehicles, medical equipment and networking hardware. It’s particularly famous for its use in the automotive industy, where it had an estimated ~60% share of infotainment and telematics from a 2011 report.
PikeOS is used by the likes of Airbus, Thales, Continental, Raytheon, Samsung, Rheinmetall, Rockwell-Collins, B. Braun, Miele and Rohde & Schwarz. Most famously it is in the Airbus A350 and Airbus A400M.
> I’ve barely had my Debian boxes crash on me, therefore monolithic kernels are highly robust!
It’s statements like the above that make “software engineering” sound like an oxymoron. Let’s all ignore that the gold standard for life-critical systems is secure RTOS, most of them microkernels. No, it’s the sharded MangoDB clusters sustaining containerized Baboontoo images from the Crocker registry that are the apex of engineering.