Sort:  

En efecto MacOSX tiene un kernel Match (microkernel) y el entorno de usuario proviene de FreeBSD!