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