Mach

Multiple Asynchronously Communicating Hosts

カーネギー・メロン大学がUNIXのカーネル部分を整理することによってマイクロカーネル部分と、サーバー部分に分離させ、1980年代に開発したマルチプロセッサ対応のOSです。開発当初の「マーク(Mark)」という名称で呼ばれることもあります。