after fresh installation of Debian 9 Stretch RC2 I tried to install VirtualBox 5.1.18:
Code: Select all
sudo apt-get install virtualboxCode: Select all
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-1-amd64
Code: Select all
Makefile:185: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.It didn't work - verification script checks version via uname -r and it returned kernel version 4.9.0-1-amd64 vs. 4.9.0-2-amd64 headers on the file system.
Solution:
Finally I've upgraded kernel version from 4.9.0-1-amd64 to 4.9.0-2-amd64 (I had fresh installation - nothing to lose) and it worked.
MJ.