>>22-23
MicrokernelもしくはMicro-kernelだしょ。micro-は
接頭辞なんでそこで切っちゃ(ﾟдﾟ)ﾏｽﾞｰなわけで。
MkLinuxの２番目のkがなぜ小文字なのか考えてみよう。

なお、蛇足ながらMicrokernelを「小さなカーネル」と
訳しちゃうのは厳密には誤訳と思われ。