Agora, colocando meu laptop para dormir e acordando mais tarde, não consigo usar a interface de rede do virtio. A execução de um recarregamento do vagrant para reiniciar o VirtualBox resolve o problema, mas é claro que é algo que eu gostaria de aviar. O vagrant usa um dispositivo de rede adicional com a configuração padrão para fazer seu trabalho.
Alguém sabe como ativar o virtio? A distribuição do Linux é Arch Linux, btw.
Tags virtualbox virtio