Eu estava tentando usar o VirtualBox no meu computador de casa, que roda Debian Lenny. No começo, até funcionou, mas o kernel Linux foi atualizado em algum momento, e os módulos do VirtualBox pararam de funcionar.
Instalei todos os módulos possíveis do repositório, mas o VirtualBox se recusava a funcionar. Procuro no Google alguma solução, e não encontro nada, exceto que devo recompilar os módulos. Eu realmente não estava disposto a fazer isso…
Entretanto, pesquisa vai, pesquisa vem, encontrei uma solução melhor. Envolve compilar os módulos também, mas de maneira mais “debiana”.
Para compilar os módulos, primeiro, atualize a referência aos pacotes com os repositorios:
# apt-get update
Agora, atualize os pacotes instalados em sua máquina:
# apt-get upgrade
Feito isso, instale o pacote com o código-fonte dos módulos do VirtualBox:
# apt-get install virtualbox-ose-source
O pulo do gato é utilizar a ferramenta module-assisant para compilar o módulo. Uma vez que o código-fonte do módulo esteja instalado, basta executar:
# m-a a-i virtualbox-ose
O m-a compila o módulo. A opção a-i diz ao module-assistant para instalar os módulos automaticamente.
Voilà! Seus módulos estão funcionando. No máximo, vai precisar carregar os módulos:
# modprobe vboxdrv
Se isso resolver seu problema, agradeça ao Daniel Baumann lá do e-mail. Tudo bem que dizer que tudo isso é óbvio foi exagero dele, mas a ajuda valeu bastante
Tags: Debian, kernel Linux, Módulos do Kernel, Módulos do Linux, VirtualBox
Setembro 15, 2009 às 12:58 pm
Para compilar o módulo vboxdrv você também pode fazer com o comando:
# /etc/init.d/vboxdrv setup. Fica até mais simples fazer assim.
Depois basta colocar o módulo vboxdrv no final do arquivo /etc/modules para ser carregado automaticamente no boot.
No endereço: http://sites.google.com/site/drfferreira/downloads você irá encontrar a última versão do VirtualBox-OSE (Open Source Edition) 3.0.6 que eu mesmo compilei e empacotei, até onde tenho testado se encontra bem estável, se tiver interesse.
Abraço e boa sorte…
Setembro 15, 2009 às 2:17 pm
Opa, obrigado pela dica, Denis! O
/etc/init.d/vboxdrv setupnunca funcionou em minha máquina, porém… Vou depois ver o que pode ser!Até mais!