モジュラーカーネルとマイクロカーネルは直交する概念じゃないだろ。