J'utilisais Ubuntu 14.10 sur ma configuration et Virtualbox fonctionnait bien.
Ensuite, mon OCZ Vertex 2 (SSD) est mort de façon inattendue et j'ai dû tout réinstaller.
Mais, comme les pilotes graphiques Intel ne s'installaient pas sur Ubuntu 14.10 (février 2015), j'ai choisi d'installer Ubuntu 14.04 LTS. Quelle surprise que les nouveaux pilotes d'avril 2015 s'installeront UNIQUEMENT sur Ubuntu 14.10 ! J'ai donc mis à niveau vers Ubuntu 14.10 et, après avoir installé les pilotes, j'ai mis à jour vers 15.04.
Pourquoi j'ai fait cette introduction ? Parce que peut-être une erreur s'est produite lors de la mise à jour, en particulier avec la mise à jour du noyau.
Lorsque j'installe Virtualbox, j'obtiens cette erreur :
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!
Avant, le noyau était comme 3.16, j'ai mis à jour manuellement vers 3.19.7, mais il ne trouve pas les en-têtes du noyau :que puis-je faire ?
Réponse acceptée :
vous devez d'abord installer les en-têtes :
sudo apt-get install linux-headers-$(uname -r)
vous devez recompiler le module du noyau et l'installer par
sudo /etc/init.d/vboxdrv setup
Si une erreur apparaît, essayez cette solution :
sudo apt-get install virtualbox-ose
Cela prendra soin des dépendances comme les en-têtes du noyau qui sont inclus dans le paquet linux-headers-generic