Code: Select all
mit@lunar1 ~ $ uname -a
Linux lunar1 4.8.0-2-amd64 #1 SMP Debian 4.8.15-2 (2017-01-04) x86_64 GNU/Linux
I have just done an dist-upgrade which has given me Virtualbox-5.1 (I have the virtualbox repo in my source list) but I can not install the Virtualbox update as it can not find the header for the 4.8.0-2 kernel, I have checked the Debian web site testing and jessie package pages and it does not even list the 4.8.0-2 kernel. Where would I be able to find the said kernel package along with any other dependant files that I would require?