MS to možná nazývá modified microkernel, ale mikrokernel to není. Např. NTOSKRNL neobsahuje jen kernel, ale i správce virtualizace, process, cache a security management a tak dále. Navíc je napevno linkovaný s HAL. No prostě si to na mikrokernel jenom hraje.