まさか小さいからマイクロカーネルという名だ、とでも思ってるんじゃないだろうなw