I am trying to compile firmware for my device and it is searching for the file `/usr/src/kernels/7.0.12-1.qubes.fc41.x86_64/include/linux/generated/autoconf.h` which to my understanding is a file provided by the kernel headers package. However, searching the update repos the latest version of kernel headers I could find belongs to version 6.17.4-100.fc41 for dom0. What can I do to obtain the latest kernel headers for my version?
After some more investigation and messing around I discovered that kernel-cross-headers is the package needed to generate those file as opposed to the kernel-headerspackage. It appears that the listed kernel version in the installation schema for kernel cross headers is also 6.17.4, however, it still provides the appropriate headers for all installed kernel versions. Hope this helps someone.
1 Like
I am a huge fan of such a peculiar discoveries.
Anyway, did you try to compile it under 6.17.4 kernel, and is there a reason not to try that too when headers aren’t provided for all installed kernels? Does this make sense at all?
It makes sense, but it wasn’t something I was able to test because that kernel version is no longer available and I do not have it locally either.
1 Like