[Pkg-virtualbox-devel] Bug#880005: closed by Gianfranco Costamagna <locutusofborg at debian.org> (unreproducible)

[Ralf Jung]

Hi,

> This is probably because dkms failed in building.

Nope:

$ sudo dkms status
virtualbox, 5.1.30, 4.13.0-1-amd64, x86_64: installed

In fact, "modprobe vboxdrv" works, as I indicated in my original email.
After doing so, VirtualBox works fine.  But something is wrong if I have
to load the module manually.

Could you please reopen?

Kind regards,
Ralf