Der Mach-Kernel ist ein Betriebssystem-Kernel-Forschungsprojekt, das 1985 an der Carnegie-Mellon University gestartet wurde und im Oktober 1994 endete. Während an der CMU noch einige Arbeiten durchgeführt werden, wird der Großteil der Entwicklung und des Supports für den Mach-Kernel anderswo durchgeführt.
Kernel, Betriebssystembegriffe