Definice: Mikrokernel je systém, ve kterém ovladače (filesystému, blokového zařízení a sítě) běží v userspace. Ve Windows NT všechny tyto ovladače běží v kernelspace, proto to mikrokernel není. Totéž platí pro MacOS X, BeOS (tam si nejsem jist, kde běží síť. Filesystém je tam určitě v kernelu), takže to též mikrokernely nejsou.