ハイブリッドカーネルって、インチキ臭い名前を止めた方がと思った。
あと、マイクロカーネル、コード量が少ないのはこれから勉強する人には (≧∇≦)b と思った。