>>123
直交しないなら、マイクロカーネルというよりはモジュラーカーネルという言い方は問題ないと思うが。