> I know OSX uses something like a micro-kernel and it is a perfectly fine desktop OS, OSX doesn't use anything like a micro-kernel, it runs Mach (which even m

> I know OSX uses something like a micro-kernel and it is a perfectly fine desktop OS, OSX doesn't use anything like a micro-kernel, it runs Mach (which even microkernel fans ridicule, it is bigger than many monolithic kernels like the Plan 9 kernel), with a monolithic BSD-style kernel directly on top, when your microkernel has (being generous) two components, both huge, I don't think it is like what most people consider a microkernel at all. It is also fun to remember that people also claimed Windows NT was a microkernel, and then they added the graphics system right into the kernel.