Der
Mach-Kernel ist ein Betriebssystem-Kernel-Forschungsprojekt, das 1985 an der Carnegie-Mellon-Universität begann und im Oktober 1994 endete. Obwohl an der CMU noch einige Arbeit geleistet wird, wird der Mach-Kernel an anderer Stelle entwickelt.
Kernel, Betriebssystembegriffe