Recompilando o kernel do VirtualBox

Talvez você já tenha percebido que sempre que você atualiza o seu sistema e uma nova versão do seu kernel é compilada, o VirtualBox deixa de carregar as máquinas virtuais. Isso ocorre por que o kernel do VirtualBox foi compilado sob o kernel hospedeiro que acabou de ser atualizado e recompilado, não reconhecendo-o mais.


Uma solução fácil é baixar o arquivo de instalação do VirtualBox do site oficial (www.virtualbox.org) e reinstalar o programa. Como a instalação compila todo o kernel do VirtualBox, o programa volta a funcionar normalmente.

Entretanto, ao invés de baixar o arquivo e reinstalar o programa, você pode recompilar o kernel do VirtualBox, bastando digitar no terminal:

# sudo /etc/init.d/vboxdrv setup

Espere o kernel ser totalmente recompilado e acesse suas máquinas virtuais novamente, dessa vez sem nenhum problema.

Até a próxima!