これ今どうなってるの?
OpenBSDがネイティブハイパーバイザを提供へ
https://www.infoq.com/jp/news/2015/09/openbsd-vmm