ちょといじってリコンパイルする手間は、マイクロカーネルもそんなに変わらん
ただマイクロカーネルって言いたいだけの子供かな