Brak dostępnych źródeł jądra dla 4.4.4-301.fc23.x86_64

Próbuję użyć włóczęgi na Fedorze 23, ale to w ogóle nie działa.

Nie działa, ponieważ moduły jądra Virtualbox nie zostaną zainstalowane i skompilowane z 4.4.4-301.fc23.x86_64.

Zainstalowałem virtualbox, korzystając z instrukcji RPM tutaj: https://www.virtualbox.org/wiki/Linux_Downloads

Jednak włóczęga nadal nie działa:

$ 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.

OK, spróbujmy tego.

$ 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.

W rzeczy samej.

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

Dziwne.

$ sudo  /usr/lib/virtualbox/vboxdrv.sh setup

Stopping VirtualBox kernel modules                         [  OK  ]
Recompiling VirtualBox kernel modules                      [FAILED]

(Sprawdź /var/log/vbox-install.log, aby dowiedzieć się, co poszło nie tak)

W porządku.

$ 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.

Jeszcze dziwniejszy. Upewnijmy się, że ...

$ 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

Czy mamy źródła jądra?

$ ls /usr/src/kernels/
4.4.6-300.fc23.x86_64/

$ uname -r
4.4.4-301.fc23.x86_64

Nie my nie.

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.

W tym momencie raczej nie jestem w stanie naprawić. Ale wygląda to na problem z Fedorą?

(Jeśli się zastanawiasz, ustawienie $ KERN_DIR na / usr / src / xx300xx też nie działało.)