VirtualBox No Longer Installs On 64bit Debian 9 testing Stretch

[lhome]

Seemly needs recompiling, current stretch kernel and headers mismatches: current kernel is linux-image-4.9.0-3-amd64 linux-headers-4.9.0-3-amd64

vbox installer needs:

This system is not currently set up to build kernel modules (system extensions). Running the following commands should set the system up correctly:

apt-get install linux-headers-4.9.0-2-amd64

(The last command may fail if your system is not fully updated.)

apt-get install linux-headers-amd64

[Frank Mehnert]

The installer wants to create the kernel modules for the currently running kernel. If you upgraded your kernel (probably from 4.9.0-2-amd64 to 4.9.0-3-amd64) but did not reboot the host then the old kernel (4.9.0-2-amd64) is still running. Just check if

ls -l /lib/modules/$(uname -r)/build/Makefile

exists.