Bonjour

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 ;-)