Kernel Header files not available for the current kernel version

[adrian...@gmail.com]

Hi,
I seem to be having an issue related to this known bug - can anyone help me think of a workaround?

https://github.com/QubesOS/qubes-issues/issues/2692

I need to build the drivers for my network dongle, and need the kernel-devel for my kernel version to run the make process successfully.

The issue is that the kernel headers are not avaliable for the current kernel version, and as only the last three kernels are stored, I am unable to switch back either.

Any thoughts on this tricky position?

A.

[Unman]

The headers are available: you can download them from yum.qubes-os.org.
look in r3.2/current/dom0/fc23/rpm and there's a comprehensive set.

the rpms here are the same as those found under
r3.2/current/vm/fc24/rpm and the other vm directories.

unman

[Adrian H]

Thanks for the pointer - I had looked at http://yum.qubes-os.org/r3.2/current/vm/fc24/rpm/ and there are no headers there, and the dom0 doesnt have fc24 which i am using.

Anywhere else I should look?

[Unman]

Look where I told you - in dom0/fc23 .
The fedora version doesnt matter.