[Pkg-virtualbox-devel] AMD64 Version of virtualbox for Debian Jessie

[Jim Cobley]

Hi Guys

I am having real problems installng the 64bit virtualbox on Debian 
Jessie (up to date)

I see that 4.3.14-dfsg-1 is available in 
"/software/Linux/debian/dists/jessie/contrib/binary-i386" on our mirror 
site and this seems to be what is being installed.
However it will not generate vboxdrv

Is this because there is no corresponding 64 bit version in 
"binary-amd64" - its not in the package list?

If that is the case then what can I do - VBox has been working 
wonderfully until the recent kernel update but now I can't get anywhere.
Have purged, reinstalled, folowed the instructions on 
https://wiki.debian.org/VirtualBox again and again.

Many thanks

Jim