Eu recomendaria o uso do virt-manager e do kvm-qemu, já que isso parece ser sempre mais ágil e mais ágil do que o VirtualBox para as máquinas virtuais que eu executo no meu hardware x86. Acredito que a virtualização é possivelmente mais eficiente com isso do que o VirtualBox, mas isso depende do seu hardware e do que está sendo virtualizado e / ou emulado.