.ovaのファイルからVirtualBoxに仮想マシンを追加する方法

あまり見かけない拡張子だったので、どう使うかすぐ分かりませんでしたが、 ダブルクリックすれば（VirtualBoxで開けば）、新しい仮想マシンをインポートできるようでした。