あと「マイクロカーネルなんて絶対遅くなるよ！」を、実際には問題なくその上でもちゃんと綺麗に作ればむしろ従来のOSよりも軽量に高速に動く場面が多々あるって実物で示したOSでもあったし＞＜