>76
ユーザ空間に置けるモジュールはできるだけユーザ空間に出そうというのがマイクロカーネルなので、ユーザ空間がない組み込みOSや、カーネル空間にモジュール読み込むLinuxのloadable moduleがマイクロカーネルだっていうのは無理があります。
歩み寄ってるから区別にあんまり意味ないっていうのはそうですが。