Tidak ada sumber kernel yang tersedia untuk 4.4.4-301.fc23.x86_64

3

Saya mencoba menggunakan gelandangan di Fedora 23, tetapi tidak berfungsi sama sekali.

Ini tidak berfungsi karena modul kernel virtualbox tidak akan menginstal dan mengkompilasi dengan 4.4.4-301.fc23.x86_64.

Saya menginstal virtualbox menggunakan instruksi RPM di sini: https://www.virtualbox.org/wiki/Linux_Downloads

Namun, gelandangan masih tidak berfungsi:

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

Oke, mari kita coba itu.

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

Memang.

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

Aneh.

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

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

(Lihat /var/log/vbox-install.log untuk mencari tahu apa yang salah)

Baik.

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

Lebih aneh lagi. Mari kita pastikan ...

$ 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

Apakah kita memiliki sumber kernel?

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

$ uname -r
4.4.4-301.fc23.x86_64

Tidak, kami tidak.

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.

Pada titik ini agak di luar kemampuan saya untuk memperbaikinya. Tapi sepertinya itu masalah Fedora?

(Jika Anda ingin tahu, mengatur $ KERN_DIR ke / usr / src / xx300xx juga tidak berfungsi.)

DMCoding
sumber
1
Apakah Anda perlu menggunakan virtualbox, atau dapatkah Anda menggunakan penyedia lugvirt?
mattdm
Pertanyaan yang sangat bagus, dan ya, itulah pilihan pertama @mattdm. Lihat disini: superuser.com/questions/1056975/fedora-vagrant-and-libvirt ;-)
DMCoding
Bagaimanapun, mereka tersedia di sini: koji.fedoraproject.org/koji/buildinfo?buildID=741821
Tom Yan
@ Tom Yan Saya berjuang untuk menginstal sumber-sumber itu. Saya mengunduh src RPM kernel saya tetapi ketika saya menginstalnya menggunakan rpm -i katanya peringatan: user mockbuild tidak ada - menggunakan root dan peringatan: grup mockbuild tidak ada - menggunakan root tetapi / usr / src / kernel tetap kosong .. .: -S
DMCoding
sudo groupadd mock; usermod -aG mock daniel
linuxdev2013