Estaba usando Ubuntu 14.10 en mi configuración y Virtualbox funcionaba bien.
Luego, mi OCZ Vertex 2 (SSD) dejó de funcionar inesperadamente y tuve que reinstalar todo.
Pero, debido a que los controladores de gráficos Intel no se instalaron en Ubuntu 14.10 (febrero de 2015), elegí instalar Ubuntu 14.04 LTS. ¡Qué sorpresa que los nuevos controladores de abril de 2015 SOLO se instalen en Ubuntu 14.10! Entonces actualicé a Ubuntu 14.10 y, después de instalar los controladores, actualicé a 15.04.
¿Por qué hice esta introducción? Porque tal vez sucedió algo incorrecto durante la actualización, especialmente con la actualización del kernel.
Cuando instalo Virtualbox me sale este error:
Trying to register the VirtualBox kernel modules using DKMS.
Error! Your kernel headers for kernel 3.19.7-031907-generic cannot be found.
Please install the linux-headers-3.19.7-031907-generic package,
or use the --kernelsourcedir option to tell DKMS where it's located
...failed!
(Failed, trying without DKMS)
Recompiling VirtualBox kernel modules ...failed!
Antes, el kernel era como 3.16, actualicé manualmente a 3.19.7, pero no puede encontrar los encabezados del kernel:¿qué puedo hacer?
Respuesta aceptada:
primero debe instalar los encabezados:
sudo apt-get install linux-headers-$(uname -r)
tienes que volver a compilar el módulo del kernel e instalarlo por
sudo /etc/init.d/vboxdrv setup
Si aparece algún error, pruebe esta solución:
sudo apt-get install virtualbox-ose
Esto se encargará de dependencias como los encabezados del kernel que se incluyen en el paquete linux-headers-generic