作品紹介：

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

※ 電子書籍の送受信データの容量が大きい場合は、パケット通信料が高額になりますので、パケット定額制サービスのご利用をおすすめします。