The project at Carnegie Mellon ran from 1985 to 1994, ending with Mach 3.0, which is a true microkernel.
Projekt na Univerzitě Carnegie Mellon probíhal od roku 1985 do 1994, kdy skončil zdánlivým neúspěchem s jádrem Mach 3.0, které konečně bylo pravým mikrojádrem.