>>743
おそらく軽いカーネルを必要とする人がいないんじゃないか。
コア数が増えてくると、重いカーネルであってもコアを有効に使えたほうが
必要な処理をこなせる可能性が高くなる。
Linuxはそういう意味で軽いカーネルだよね。
良い面も有れば悪い面もあるけど、割り切った設計だから仕方ない。