[user@xxxxx ~]$ sudo /sbin/rcvboxdrv setup Unloading modules: Loading modules: modprobe: ERROR: could not insert 'vboxnetadp': Exec format error
modprobe: ERROR: could not insert 'vboxnetflt': Exec format error
modprobe: ERROR: could not insert 'vboxpci': Exec format error
modprobe: ERROR: could not insert 'vboxdrv': Exec format error
Here are the steps I took to make the trouble go away:
- reboot to make the new kernel 4.4.5 active
- sudo shutdown -r now
- reinstall linux-headers (use the correct version for your kernel!): this triggered a recompile of the virtualbox kernel modules by dkms
- sudo pacman -S linux-headers
- remove package virtualbox-host-modules: this removed old pre-compiled vbox kernel modules. In retrospect, it was probably this last step that actually solved the problem.
- sudo pacman -R virtualbox-host-modules
For what it's worth :)
