VirtualBox on Debian

view story

http://unix.stackexchange.com – I have two kernels installed, 3.5.0 and 3.6.0. For several reasons I have to run kernel 3.5.0. VirtualBox works perfectly on 3.6.0, but not on 3.5.0. After I booted kernel 3.5.0 I ran apt-get --reinstall install dkms. This recompiled the VirtualBox module successfully. However, it fails to load. # modprobe vboxdrv ERROR: could not insert 'vboxdrv': Exec format error /var/log/messages: warning: `VirtualBox' uses 32-bit capabilities (legacy support in use) vboxdrv: disagrees about version of symbol module_layout The module seems to be installed correctly: $ ls /lib/modules/3.5.0/updates/d (HowTos)