3 ms·

Most microkernel junkies saw the limitation in Mach two decades ago and have moved on to things like seL4. Far more dynamic and innovative world.