wobei bei MacOS X die Frage Microkernel/nicht Microkernel nicht eindeutig zu beantworten ist.

So läuft z.B. das BSD-Zeugs auch im Kernel, was einem "reinen" Microkernel-Konzept widerspricht.
http://www.kernelthread.com/mac/osx/arch_xnu.html

Interessant ist hier vor allem folgender Satz:
XNU's Mach component is based on Mach 3.0, although it's not used as a microkernel.
und
The BSD subsystem is part of the kernel and so are various other subsystems that are typically implemented as user-space servers in microkernel systems.

MfG Peschmä