On Thu, 20 Jul 2017 20:37:08 -0700 Sherman Grunewagen <sugarwagon@xxxxxxx> wrote: > Can anyone tell me how to get kernel-headers-4.11.8-200.fc25.x86_64 ? > Why? Long story. Short version: my Intel 8265 wireless card is > unstable with kernel-4.11.9 and 4.11.10. With 4.11.8 it is not. But > since I have 4.11.10 installed on my system (with 8, and 9) the > kernel-headers are also at 4.11.10. > > Vmware workstation needs to build its modules under 4.11.8 which I'm > now running. But it can't w/o the matching kernel-headers! > > Thus my question. Or is there a better way? You can find them at koji, download them for your architecture, and then downgrade using dnf, dnf -C downgrade ./[header file name] https://koji.fedoraproject.org/koji/buildinfo?buildID=913370 I recall reading that a 4.12 stable kernel is going to find its way into F25, perhaps that will fix your issue. _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
