GNU Mach
GNU Mach（グヌー マーク）は、GNUプロジェクトにより開発されているマイクロカーネルタイプのカーネル。Machマイクロカーネルに由来する実装の一つであり、同プロジェクトが開発するオペレーティングシステム (OS)、GNU Hurdのマイクロカーネルとして使用されている。対応プラットフォームはIA-32。GNU General Public License (GPL) に基づくフリーソフトウェアとして公開されている。