Hi,
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.
- Build System Info | koji
- In the search field type in kernel
- Scroll down to find kernel-5.3.11-300.fc31 and select it
- Scroll down to the proper architecture
- Download kernel-, kernel-core, kernel-modules
- Install by
sudo dnf install ~/Downloads/*rpm
So if that solves the problem, then yeah I’ll be a little confused. Another idea is try another antenna? Post #2 in this thread might help with that.
If this is an out of tree kernel module, it’s unlikely to find its way into Fedora kernel packages. But possibly the RPM Fusion folks would carry it?