マイクロカーネルはオペレーティングシステム (OS) の機能を分割して、必要最小限のカーネルにすることにより実行、開発効率の向上を図ったOSの実装方法およびそのカーネルのこと。モノリシックカーネルの対義語。必ずしも小さいことは意味しない。
