マイクロカーネル上で動作する仮想マシン(L4VM)の開発