Kernel-ul Mach este un proiect de cercetare privind kernel-ul sistemului de operare, care a început la Universitatea Carnegie-Mellon în 1985 și sa încheiat în octombrie 1994. În timp ce există încă unele lucrări realizate la CMU, cea mai mare parte a dezvoltării și susținerii kernel-ului Mach se face în altă parte.

Kernel, termeni de sistem de operare