追記: 2018/5/21 本記事の最後に「再起動するとブートローダのところで止まる」と書きましたが、UEFIファームウェアパッケージを最新のものに更新すること

LinuxにはKVM (Kernel-based Virtual Machine)というカーネルレベルの仮想化基盤があります。 FreeBSDは、古く(マニュアルによれば4.0の頃)か