Mac OS X hat keinen Mach-Micro-Kernel

Es ist zwar sicherlich hoffnungslos, bei der Ansammlung von
Stichworten wie "Linus Torvalds", "Steve Jobs", "Apple", "Linux",
"Mac OS" in EINER News im Heise-Forum irgendeine Art von
sachorientierter Diskussion zu erwarten, dennoch sei folgender Link
und der darin weiter befindliche Link zu einer Beschreibung des MacOS
X-Kernels bei Apple empfohlen:

http://www.roughlydrafted.com/0506.mk2.html

Daraus ergibt sich, dass der OSX-Kernel eher ein Fat-Kernel ist, in
dem Mach-, BSD-, MkLinux- und einige I/O-Komponenten zum
Darwin-Kernel (der im übrigen OpenSource ist) zusammengeschmolzen
sind. Da er eben nicht auf einem Mach-Micro-Kernels fußt, bestehen
auch nicht dessen Performance-Probleme. 

Aber das jetzt und hier als Beitrag zu einer ernsthaften Diskussion
ist sicherlich tollkühn...