Soy un novato en Linux
Estaba ejecutando 12.04 con virtualbox 4.2. Todo era color de rosa.
Actualizado a 12.10; Ahora Virtualbox se ejecutará, pero puede iniciar cualquier máquina virtual. Recibo el error 'controlador del kernel no instalado'. Ejecuté la configuración de /etc/init.d/vboxdrv pero aparece el error 'No se pueden encontrar los encabezados del kernel para el kernel 3.8.0-32-generic'.
Intenté ejecutar apt-get linux-headers-3.8.0-32-generic pero aparece el error "El paquete linux-headers-3.8.0.32-generic no está disponible, pero otro paquete hace referencia a él".
uname -r responde con 3.8.0-32-generic
ls /usr/src contiene linux-headers-3.5.0-42; encabezados-linux-3.5.0-42-genericos y vboxhost-4.3.0
¿Cómo resuelvo esto? Ahora entiendo que debería haber instalado DKMS antes de realizar la actualización del sistema operativo y que los encabezados del kernel se habrían actualizado.
Respuesta1
Instale todo el paquete del kernel incluido kernel-header, con un kernel más nuevo (3.11.0-13 (binario) con synaptic. Luego reinicie. El sistema comenzará con el nuevo kernel y... funcionará. (mi problema es usar vmware)
Si tiene algún problema con 3.5.0-42, puede comenzar con el anterior.
Respuesta2
La mayoría de las veces esta es la solución para mí.
sudo apt-get update
sudo apt-get install dkms
sudo reboot
Si eso falla, intente:
sudo apt-get remove virtualbox
sudo apt-get install virtualbox
sudo reboot
No se preocupe, no perderá ninguna de las máquinas virtuales creadas.