Recibo el siguiente error cuando intento instalar los módulos del núcleo VirtualBox:
------------------------------
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.
He intentado instalar el paquete linux-source, pero no estoy seguro de cómo Ubuntu maneja las fuentes y encabezados del kernel.
¿Alguna idea sobre cómo hacer esto desde el punto de vista de Ubuntu?
sudo apt install --reinstall virtualbox-dkms