Salut à tous,
J’ai un petit problème avec virtualbox du a une mise a jour du kernel. J’ai eu un code d’erreur qui me disais de relancer /etc/ini.d/vboxdrv setup, mais lorsque je lance cette commande j’ai le message suivant:
[quote]Stopping VirtualBox kernel module: vboxdrv.
Recompiling VirtualBox kernel module: vboxdrv
- Look at /var/log/vbox-install.log to find out what went wrong
[/quote]
Et dans ce fichier *.log
[quote] cat /var/log/vbox-install.log
Makefile:68: *** Error: unable to find the sources of your current Linux kernel. Sp ecify KERN_DIR= and run Make again… Arrêt.
[/quote]
Et j’ai lu dans ce forum qu’il y a moyen de resoudre ce problème en installant les kernel-headers et le kernel-source, hors je ne trouve pas ce kernel-source avec aptitude:
[quote]aptitude search kernel-source
p cpad-kernel-source - source for the Synaptics cPad driver
v misdn-kernel-source -
p nvidia-kernel-source - NVIDIA binary kernel module source
p wacom-kernel-source - source for the wacom binary modules
[/quote]
mon source list est celui de trucs et astuces version etch (preferences)
Merci