Ask Your Question

Mismatch between kernel and kernel-headers version

asked 2018-08-29 15:27:41 -0500

webmonsterro gravatar image

Hi I would like to compile the drivers for my wireless interface but I'm not able to, and I think the problem is the difference between the versions of the kernel and the kernel-headers. Currently I have kernel 4.17.18-200.fc28.x8664 and the headers kernel-headers-4.17.17-1.fc28.x8664 My system is freshly installed and updated.

Is that a problem or is it perfectly normal for them to be of different version? Thanks!

edit retag flag offensive close merge delete


What happens when you try to compile them? Why do you say "not able to"?

wallyk gravatar imagewallyk ( 2018-08-29 15:42:22 -0500 )edit

OK, I'm trying to install de drivers from and I do the following: git clone -b 4.15-up dkms add ./rtl8723de dkms install rtl8723de/ ... and now I get the error Error! echo Your kernel headers for kernel 4.17.18-200.fc28.x8664 cannot be found at /lib/modules/4.17.18-200.fc28.x8664/build or /lib/modules/4.17.18-200.fc28.x86_64/source.

As I said before, when I try to install the kernel-headers package it says it is already installed and the latest version.

webmonsterro gravatar imagewebmonsterro ( 2018-08-29 15:59:39 -0500 )edit

kernel-4.17.18 came without an updated kernel-headers package (nor kernel-tools). So the question is what the error message was during building your wifi module.

florian gravatar imageflorian ( 2018-08-29 16:18:32 -0500 )edit

Also, I tried installing the driver with ubuntu and it worked, and I checked, ubuntu has matching versions for kernel and the kernel headers The problem is, I want Fedora, not Ubuntu...

webmonsterro gravatar imagewebmonsterro ( 2018-08-29 16:20:44 -0500 )edit

3 Answers

Sort by ยป oldest newest most voted

answered 2018-08-30 00:57:34 -0500

villykruse gravatar image

updated 2018-08-30 01:10:43 -0500

Your problem is not kernel-headers but kernel-devel.

Your message tells you what is missing.

dkms add ./rtl8723de
dkms install rtl8723de/
... and now I get the error 
Error! echo
Your kernel headers for kernel 4.17.18-200.fc28.x86_64 cannot be found at
/lib/modules/4.17.18-200.fc28.x86_64/build or /lib/modules/4.17.18-200.fc28.x86_64/source.

The missing files are symbolic links to /usr/src/kernels/4.17.18-200.fc28.x86_64 which should have been provided by the package kernel-devel-4.17.18-200.fc28.x86_64.

Since not so long ago, kernel-headers and kernel no longer have the same version number and are built independently. so it is normal to have a mismatch.

edit flag offensive delete link more


I've installed kernel-devel and I've was able to compile the drivers with no errors, unfortunetly now I can't load the drivers: sudo modprobe -v rtl8723de modprobe: ERROR: could not insert 'rtl8723de': Operation not permitted sudo depmod -a rtl8723de depmod: ERROR: Bad version passed rtl8723de

webmonsterro gravatar imagewebmonsterro ( 2018-08-30 01:47:29 -0500 )edit

I'll try first disabling secure boot, then the drivers provided by Larry Fingers, when I get home...

webmonsterro gravatar imagewebmonsterro ( 2018-08-30 09:46:26 -0500 )edit

answered 2018-08-30 10:11:46 -0500

webmonsterro gravatar image

Even though the kernel-headers and kernel have different version numbers, after installing the kernel-devel package I was able to compile the drivers for my wifi card. Now, in order to be able to use the drivers I had to disable secure boot And now my wifi card works I'd like to thank everyone for helping me, I appreciate it a lot

edit flag offensive delete link more

Question Tools

1 follower


Asked: 2018-08-29 15:27:41 -0500

Seen: 722 times

Last updated: Aug 30 '18