Je tente d'utiliser VirtualBox sous Debian.
1) J'ai donc modifié mon sources.list pour intégrer
deb http://www.virtualbox.org/debian etch non-free
L'installation puis le paramétrage initial se sont passés sans problèmes.
2) C'est à l'utilisation que ça merdoie ! Après avoir préparer une machine virtuelle, j'ai le message d'erreur suivant :
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.
3) 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 :
# apt-get install linux-headers-2.6.22.-.k7
# apt-get install linux-kbuild-2.6.22-3-k7
c) Construction du le module :
# /etc/init.d/vboxdrv setup
C'est là que ça bloque avec l'erreur :
# /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
Si je regarde ce fichier log, cela donne :
Makefile:68: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again.. Arrêt.
Or, je ne parviens pas à trouver les sources de mon noyau !
Comment solutionner ? Aurais mal compris un truc ?
Merci par avance ;-)
