自作OSで学ぶマイクロカーネルの設計と実装

自作OS（HinaOS）と実用OS（MINIX3、GNU Hurd、seL4）のソースコードを紐解き、シンプルでエレガントにOSの機能を実現するマイクロカーネルのさまざまな手法を解説します。