"Although Mach is often mentioned as one of the earliest examples of a microkernel, not all versions of Mach are microkernels.
The project at Carnegie Mellon ran from 1985 to 1994, ending in apparent failure with Mach 3.0, which was finally a true microkernel.
Mach and its derivatives are in use in a number of commercial operating systems, … most notably Mac OS X using the XNU operating system kernel which incorporates an earlier (non-microkernel) Mach as a major component.
Neither Mac OS X nor FreeBSD maintain the microkernel structure pioneered in Mach."[0]