Você pode exportar uma máquina virtual do VirtualBox como um chamado appliance virtual em UVF . Seus alunos podem importar esses arquivos UVF para suas instalações locais do VirtualBox.
Você deve encontrar os itens de menu para exportar e importar appliances no menu "Arquivos" do VirtualBox Manager.