Folgendes Problem: Ich habe mir für meine DVB-S Karte nach dieser Anleitung einen eigenen gepatchten Kernel bauen müssen (3.11.6). Das hat soweit auch gut funktioniert, obwohl es mein erster war.
Dummerweise bekomme ich nun VirtualBox damit nicht ans Laufen. Mit dem original Saucy-Kernel 3.11.0 läuft es. Offenbar muss VB per "dkms" Kernel-Module installieren. Ich werde aufgefordert, "/etc/init.d/vboxdrv setup" auszuführen. Das endet in der Fehlermeldung:
Stopping VirtualBox kernel modules ...done. Uninstalling old VirtualBox DKMS kernel modules ...done.
Trying to register the VirtualBox kernel modules using DKMS Error! Your kernel headers for kernel 3.11.6 cannot be found.
Please install the linux-headers-3.11.6 package, or use the --kernelsourcedir option to tell DKMS where it's located ...failed!
(Failed, trying without DKMS)
Recompiling VirtualBox kernel modules ...failed! (Look at /var/log/vbox-install.log to find out what went wrong)
Fehlermeldung in vbox-install.log:
Failed to install using DKMS, attempting to install without
Makefile:183: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Schluss.
Image und Header-Paket sind natürlich installiert. Das Quellverzeichnis des Kernels habe ich nach dem Kompilieren allerdings gelöscht, weil es fast 10GB groß war. Fehlen dem Kernel vielleicht irgendwelche Optionen, oder lässt sich das ohne Neubau beheben? Mir fehlt da leider jede Erfahrung.
Danke, Neubie