For what it is worth, there are more microprocessors running microkernels than are running monolithic kernels. The Intel ME is running Minix. Your cell phone’s

For what it is worth, there are more microprocessors running microkernels than are running monolithic kernels. The Intel ME is running Minix. Your cell phone’s baseband is likely running L4. QNX is used in cars. The Xen microkernels is used on AWS. VMWare ESXi is also a microkernels. The list goes on. Linux is in places that have higher mindshare than the places that microkernels occupy. When was the last time you thought “I wonder how the hypervisor powering AWS is designed” or “I wonder how my cellphone’s baseband is designed”. The latter being a question that I wish people would ask.