Java virtual machine
Java仮想マシンはマイクロカーネルの上で走る。