Re:Examining the Legendary Hurd Kernel (2008)
by vezzy-fnord on Saturday July 11, 2015 @07:39PM
(#9871982)
Actually if we're going purely by adoption rates, the most common kernels are probably some variant of L4 (used in baseband processors among other places) and ITRON in miscellaneous electronics, both of which are microkernels and the latter also an RTOS.
So yeah, Micro-kernels work. But monolithic and simple has been carrying the day for a decade plus.
(and before anyone complains about NT, they lost their Microkernel card when the moved graphics into the kernel. They like XNU on the mac are Hybrid Kernels).