É… a cada dia que passa nos deparamos com coisas bem interessantes, a da vez é que graças ao suporte multi-arch é perfeitamente possível instalar um kernel de arquitetura diferente num mesmo sistema Debian.
No exemplo, o sistema alvo foi o Debian 7.1 Wheezy i686 instalado via NetInstall e o kernel o 3.9.o-bpo-amd64.
Para aqueles que quiserem testar, use este sources.list:
Super sources.list para o Debian Wheezy
E prossigam com:
# apt-get update # apt-get -t wheezy-backports install build-essential dkms linux-image-amd64 linux-headers-amd64
e após um reboot…
Mundo GNU 
Isso é excelente para quem quer usar um Linux 32 mas o Hardware se dá melhor com um Sistema 64! Adorei a dica! Experimentando aqui!
CurtirCurtir
Lembrando que a maioria dos aplicativos (ou quase todos) será i686 (no meu caso), mas ajustando as coisas vista na dica do multi-arch, basta adicionar a arquitetura e instalar o pacote amd64:
# dpkg –add-architecture amd64
# apt-get update
# apt-get install nome-do-pacote:amd64
Ou o inverso se seu sistema for amd64:
# apt-get install build-essential dkms linux-image-i686-pae linux-headers-i686-pae
# dpkg –add-architecture i386
# apt-get update
# apt-get install nome-do-pacote:i386
t+
CurtirCurtir
Realmente adorei a dica! 😀 Muito bom! Melhorou bastante meu uso do Notebook 😀
CurtirCurtir
legal! agora deposite uns quinhentinhos em minha C/C que meu estoque de cerveja acabou! rs
CurtirCurtir
Amigo minha geladeira não tem nem danoninho! Tá complicado! hahahahahahahhaha Pago uma Breja no finde!
CurtirCurtir
por favor, como faço para instalar uma versão anterior do kernel com os headers e tudo mais pra instalar o driver da placa de video? tipo a linux-image-3.9-0.bpo.1-amd64?
CurtirCurtir
Se você não usa o Backports, instale a versão do Wheezy assim:
# apt-get update
# apt-get install build-essential dkms linux-image-amd64 linux-headers-amd64
Para o caso do Backports já demonstrei nessa dica.
CurtirCurtir
EDPS por acaso conseguiu rodar o virtualbox usando o X64?
Aqui ja tentei reinstalando o virtualbox-dkms e dkms e só funciona se der boot pelo i386 e reinstalar novamente para o i386
CurtirCurtir
Eu também tive o mesmo problema! só me lembrei devido sua pergunta, parece que há uma incompatibilidade que não resolve-se com:
# /etc/init.d/vboxdrv setup
Uma pena!
CurtirCurtir