Kernel Mach adalah projek penyelidikan kernel sistem operasi yang dimulakan di Carnegie-Mellon University pada tahun 1985 dan berakhir pada Oktober 1994. Walaupun masih terdapat beberapa kerja yang dilakukan di CMU, kebanyakan pembangunan dan sokongan pada kernel Mach dilakukan di tempat lain.

Kernel, Terma sistem pengendalian