最小限の機能（プロセス管理・メモリ管理など）のみカーネルに持たせ、他のOS機能は別プロセスとして実現しているのはどれか。