"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]
None of this technology made it into a mainstream Mach distribution because the band broke up: Rick Rashid and his staff and students went off to work at Microsoft Research. Brian Bershad took over the project and then moved to University of Washington. It was also becoming clear in the mid-90's that the OS didn't really matter much anymore, since the big money was being made in Internet applications. So most of the hackers who might have worked on new operating systems during this time ended up working on application servers and web apps instead.
A few "merges" (to use source control terminology) of newer Mach stuff into xnu (the OS X kernel), but the BSD-in-userspace stuff never came over.