Stavo usando Ubuntu 14.10 sulla mia configurazione e Virtualbox funzionava bene.
Poi il mio OCZ Vertex 2 (SSD) è morto inaspettatamente e ho dovuto reinstallare tutto.
Ma, poiché i driver di grafica Intel non venivano installati su Ubuntu 14.10 (febbraio 2015), ho scelto di installare Ubuntu 14.04 LTS. Che sorpresa che i nuovi driver di aprile 2015 vengano installati SOLO su Ubuntu 14.10! Quindi ho poi aggiornato a Ubuntu 14.10 e, dopo aver installato i driver ho aggiornato alla 15.04.
Perché ho fatto questa introduzione? Perché forse è successo qualcosa di sbagliato durante l'aggiornamento, specialmente con l'aggiornamento del kernel.
Quando installo Virtualbox ottengo questo errore:
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!
Prima, il kernel era come 3.16, ho aggiornato manualmente alla 3.19.7, ma non riesce a trovare gli header del kernel:cosa posso fare?
Risposta accettata:
devi prima installare le intestazioni:
sudo apt-get install linux-headers-$(uname -r)
devi ricompilare il modulo del kernel e installarlo tramite
sudo /etc/init.d/vboxdrv setup
Se viene visualizzato qualche errore, prova questa soluzione:
sudo apt-get install virtualbox-ose
Questo si prenderà cura delle dipendenze come gli header del kernel che sono inclusi nel pacchetto linux-headers-generic