The Mac OS X Kernel

Based on FreeBSD and Mach

Not really a microkernel architecture

Mach used for programming abstractions like scheduling and message passing

Driver architecture all its own: the I/O Kit