NTのカーネルのソースは見てみたいね。
マイクロカーネルなんですかね？