本書では、マイクロカーネルOSの概念からその実例まで、著者が本書のために開発した自作OS（HinaOS）と実用OS（MINIX3、GNU Hurd、seL4）を例に、機能ごとに分け解説しています。
マイクロカーネルの解説、その上で動くソフトウェア部分（ユーザーランド）の解説、そして発展的内容の3部に分かれており、各章は、概念の解説パートと、その概念をどのように実装するかの実装パートで構成されています。