Bonjour,
aprés pas mal de temps passé, en vain, sur le forum à trouver une réponse, je soumets mon problème aux bonnes volontés.
Je viens de faire la mise à jour de Linux ( Noyau Linux 2.6.32-41-generic ) et il m'est impossible de lancer ma machine virtuelle (VirtualBox 4.1.14 r77440) : j'obtiens le message suivant :
Kernel Driver not installed (rc = -1908 ) ............. Please reinstall the kernel module by executing /etc/init.d/vboxdrv setup.
Je fais la manip. demandée.
Résultat :
$ sudo /etc/init.d/vboxdrv setup
* Stopping VirtualBox kernel modules [ OK ]
* Uninstalling old VirtualBox DKMS kernel modules [ OK ]
* Trying to register the VirtualBox kernel modules using DKMS
Error! Your kernel headers for kernel 2.6.32-41-generic cannot be found at
/lib/modules/2.6.32-41-generic/build or /lib/modules/2.6.32-41-generic/source.
* Failed, trying without DKMS
* Recompiling VirtualBox kernel modules
* Look at /var/log/vbox-install.log to find out what went wrong
Je suis allé voir dans /lib/modules/2.6.22-41-generic, il n'y a pas de /build ou de /source.
J'ai ouvert le fichier indiqué (/var/log/vbox-install.log).
Résultat :
Uninstalling modules from DKMS
removing old DKMS module vboxhost version 4.1.14
------------------------------
Deleting module version: 4.1.14
completely from the DKMS tree.
------------------------------
Done.
Attempting to install using DKMS
Creating symlink /var/lib/dkms/vboxhost/4.1.14/source ->
/usr/src/vboxhost-4.1.14
DKMS: add Completed.
You can use the --kernelsourcedir option to tell DKMS where it's located, or you could install the linux-headers-2.6.32-41-generic package.
Failed to install using DKMS, attempting to install without
Makefile:172: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Arrêt.
Quelqu'un a-t-il une idée à me proposer.
Merci.
