Impossibile installare Virtualbox su 15.04

Stavo usando Ubuntu 14.10 sul mio setup e Virtualbox funzionava bene.

Quindi il mio OCZ Vertex 2 (SSD) è morto inaspettatamente e ho dovuto reinstallare tutto.

Tuttavia, 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 verranno installati SOLO su Ubuntu 14.10! Quindi ho aggiornato a Ubuntu 14.10 e, dopo aver installato i driver, ho aggiornato a 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 riusciva a trovare le intestazioni del kernel: cosa posso fare?

devi prima installare le intestazioni:

sudo apt-get install linux-headers-$(uname -r)

devi ricompilare il modulo del kernel e installarlo con

sudo /etc/init.d/vboxdrv setup

Se viene visualizzato un errore, prova questa soluzione:

sudo apt-get install virtualbox-ose

Questo si occuperà di dipendenze come le intestazioni del kernel che sono incluse nel pacchetto linux-headers-generic