マイクロカーネル
マイクロカーネル（英: microkernel）
メモリ空間の仮想化
プロセス制御
プロセス間通信
L4マイクロカーネルファミリー
seL4
PikeOS
関連
モノリシックカーネル
メモ
タネンバウム教授、MINIXの失敗とLinux普及の理由を語る － Publickey
マイクロカーネル - Wikipedia
MINIXの30年の歴史から学んだこと (原題: Lessons learned from 30 years of Minix)
#カーネル(OS)