オープンソースRTOS「seL4」の紆余曲折からマイクロカーネルの進化を俯瞰する

図3　この場合、seL4のハイパーバイザーは、ArmならEL2、x86ならRoot Ring-0、RISC-VならHSモードで動く形になる［クリックで拡大］