2 ms·

Or you could think of Minix as perfect. Or SEL4 as perfect. Or QNX as perfect. No need to cherry pick Hurd for your example when there are shipping microkernel

Or you could think of Minix as perfect. Or SEL4 as perfect. Or QNX as perfect. No need to cherry pick Hurd for your example when there are shipping microkernels.