Eu não baixei e não tenho certeza se isso é tudo, mas você deve ser capaz de começar a usá-lo. A parte mais importante é que você é capaz de usar a imagem de disco fornecida.
VirtualBox suporta vmdk (formato de imagem Vmwares) fora da caixa. Portanto, você deve poder usar diretamente a imagem de disco fornecida com o VirtualBox. Se isso não funcionar, dê uma olhada no manual do VirtualBox .
Se isso não funcionar, você também pode converter a imagem de disco com qemu-img . Algo como:
qemu-img -f vmdk -O vdi input_file output-file