I am trying to use vagrant on Fedora 23, but it isn't working at all.
It isn't working because virtualbox's kernel modules will not install and compile with 4.4.4-301.fc23.x86_64.
I installed virtualbox using the RPM instructions here: https://www.virtualbox.org/wiki/Linux_Downloads
However, vagrant still does not work:
$ vagrant up --provider=virtualbox
The provider 'virtualbox' that was requested to back the machine
'vccw.dev' is reporting that it isn't usable on this system. The
reason is shown below:
VirtualBox is complaining that the kernel module is not loaded. Please
run `VBoxManage --version` or open the VirtualBox GUI to see the error
message which should contain instructions on how to fix this error.
Okay, let's try that.
$ VBoxManage --version
WARNING: The vboxdrv kernel module is not loaded. Either there is no module
available for the current kernel (4.4.4-301.fc23.x86_64) or it failed to
load. Please recompile the kernel module and install it by
sudo /sbin/rcvboxdrv setup
You will not be able to start VMs until this problem is fixed.
Indeed.
daniel@EndlessSummer ~/W/s/vccw-2.19.0> modprobe vboxdrsv
modprobe: FATAL: Module vboxdrsv not found in directory /lib/modules/4.4.4-301.fc23.x86_64
Strange.
$ sudo /usr/lib/virtualbox/vboxdrv.sh setup
Stopping VirtualBox kernel modules [ OK ]
Recompiling VirtualBox kernel modules [FAILED]
(Look at /var/log/vbox-install.log to find out what went wrong)
Okay.
$ cat /var/log/vbox-install.log
Makefile:185: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.
Even stranger. Let's make sure...
$ sudo dnf install kernel-devel kernel-headers gcc patch <etc>
$ rpm -qva "kernel-*"
kernel-modules-4.3.5-300.fc23.x86_64
kernel-devel-4.4.6-300.fc23.x86_64
kernel-modules-4.4.6-300.fc23.x86_64
kernel-core-4.4.4-301.fc23.x86_64
kernel-core-4.3.5-300.fc23.x86_64
kernel-headers-4.4.6-300.fc23.x86_64
kernel-core-4.4.6-300.fc23.x86_64
kernel-modules-4.4.4-301.fc23.x86_64
Do we have the kernel sources?
$ ls /usr/src/kernels/
4.4.6-300.fc23.x86_64/
$ uname -r
4.4.4-301.fc23.x86_64
No, we don't.
sudo dnf install kernel-headers-(uname -r) kernel-devel-(uname -r)
Last metadata expiration check: 0:10:22 ago on Thu Mar 24 18:47:50 2016.
No package kernel-headers-4.4.4-301.fc23.x86_64 available.
Error: Unable to find a match.
At this point it is rather beyond my ability to fix. But it seems like a Fedora problem?
(In case you're wondering, setting $KERN_DIR to /usr/src/xx300xx didnt work either.)
