Survives to this day, as the OSF Mach sources in MkLinux were the alleged basis for Mach kernel module emulation in the NextBSD project. This according to Kip Macy&#x27;s testimony over IRC, at least.