Today I installed Fedora 31 but had a problem installing the RTL8723DE wifi driver (lwfinger from github). I have used it successfully on Fedora 29 and 30 but it does not work now on Fedora 31, it compiles, installs and loads into memory but no wifi devices are found.
I asked for help to the driver developer on github and agrees that the problem should be the kernel packages versions. The kernel and kernel-devel are version 5.3.15 but kernel-headers are version 5.3.11 and it appears to be the problem since there is no 5.3.15 version available on the repository. How can I get the kernel headers 5.3.15 or it would be better to wait for the next kernel packages release to have all of them with the same version?
I had to restore back my Fedora 30 until the driver works on a future kernel release.
And one more question, are you planning to include in the future the driver for RealTek RTL8732DE?
I’m pretty sure kernel-headers is only built/rebuilt when the interface between kernel and userspace changes, which doesn’t happen every dot version. Also, if the driver loads, then it’s some other problem.
But to see if this is the problem, you can install kernel 5.3.11 to match up with the kernel-headers you already have installed.