Bonjour
Je tente d’utiliser VirtualBox sous Debian.
- J’ai donc modifié mon sources.list pour intégrer
L’installation puis le paramétrage initial se sont passés sans problèmes.
- C’est à l’utilisation que ça merdoie ! Après avoir préparer une machine virtuelle, j’ai le message d’erreur suivant :
[quote]
VirtualBox kernel driver not installed. The vboxdrv kernel module was either not loaded or /dev/vboxdrv was not created for some reason. Re-setup the kernel module by executing ‘/etc/init.d/vboxdrv setup’ as root.[/quote]
- Selon mes quelques recherches, j’ai fait les manipulations suivantes :
a) Vérification de la version du kernel :
# uname -r
2.6.22-3-k7
b) Installation des entêtes :
[b]# apt-get install linux-headers-2.6.22.-.k7
apt-get install linux-kbuild-2.6.22-3-k[/b]7
c) Construction du le module :
# /etc/init.d/vboxdrv setup
C’est là que ça bloque avec l’erreur :
[quote]# /etc/init.d/vboxdrv setup
Stopping VirtualBox kernel module: vboxdrv.
Recompiling VirtualBox kernel module: vboxdrv
- Look at /var/log/vbox-install.log to find out what went wrong[/quote]
Si je regarde ce fichier log, cela donne :
[quote]
Makefile:68: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR= and run Make again… Arrêt.[/quote]
Or, je ne parviens pas à trouver les sources de mon noyau !
Comment solutionner ? Aurais-je mal compris quelque chose ?
Merci par avance 

