GNU Mach
GNU Mach(グヌー マーク)は、GNUプロジェクトにより開発されているマイクロカーネルタイプのカーネル。Machマイクロカーネルに由来する実装の一つであり、同プロジェクトが開発するオペレーティングシステム (OS)、GNU Hurdのマイクロカーネルとして使用されている。対応プラットフォームはIA-32。GNU General Public License (GPL) に基づくフリーソフトウェアとして公開されている。
GNU Hurdの初期のバージョンは、カーネギーメロン大学のMach 3.0上に行われていた。
1994年、同大学はMachプロジェクトを終了、GNUプロジェクトもユタ大学のMach 4へと移行した。その後ユタ大学での開発も終了したため、Mach 4からさらに派生する形でGNU Machが開発された。最初の変更履歴は、トーマス・ブッシュネル(英語版)による1996年12月16日のものである(それ以前はユタ大学の研究者によるものだった)。
2002年にはローランド・マクグラスにより、GNU Mach 1.2を元にデバイスドライバといくつかのハードウェアサポートをユタ大学のOSKitに置き換えることを目的にOSKit-Machのブランチが行われた。GNUプロジェクトでは当初、GNU Mach 1.3リリース後はこのOSKit-Machを元にGNU Mach 2.0の開発を進めるとしていたが、その後のOSKitの開発停止を受け、2006年までにOSKit-Machの開発は放棄された。
その後は長らくリリースが無かったものの、2013年9月27日に11年ぶりのリリースとなるGNU Mach 1.4が公開されている。