Beim Versuch, die VirtualBox-Kernelmodule zu installieren, wird die folgende Fehlermeldung angezeigt:
------------------------------
Deleting module version: 4.1.18
completely from the DKMS tree.
------------------------------
Done.
Loading new virtualbox-4.1.18 DKMS files...
Building only for 3.5.0-17-generic
Module build for the currently running kernel was skipped since the
kernel source for this kernel does not seem to be installed.
Ich habe versucht, das Linux-Quellpaket zu installieren, bin mir aber nicht sicher, wie Ubuntu mit Kernel-Quellen und -Headern umgeht.
Irgendwelche Ideen, wie man das aus Ubuntu-Sicht macht?
sudo apt install --reinstall virtualbox-dkms