マイクロカーネル

OS

OSの実装手法の1つ
seL4やReseaが該当する