On Sat, 04 Jun 2016 11:58:12 +0200 jsb...@mimuw.edu.pl (Janusz S. =?utf-8?Q?Bie=C5=84?=) wrote: > Package: virtualbox-dkms > Version: 5.0.20-dfsg-2 > Severity: grave > > When I start virtualbox, I get > > WARNING: The character device /dev/vboxdrv does not exist. > Please install the virtualbox-dkms package and the appropriate > headers, most likely linux-headers-amd64. > > The package is actually installed, but the following message was issued: > > Setting up virtualbox-dkms (5.0.20-dfsg-2) ... > Loading new virtualbox-5.0.20 DKMS files... > First Installation: checking all kernels... > Building only for 4.1.0-1-amd64 > Module build for the currently running kernel was skipped since the > kernel headers for this kernel do not seem to be installed. > > But, as you can see, I'm running 4.1.0-1-amd64... > >
Please verify if you installed the kernel headers for 4.1.0-1-amd64... Can you please post the output of dpkg -l linux-headers-4.1.0-1-amd64 -- tobi