On 07/22/17 13:11, Sherman Grunewagen wrote: > On 07/21/2017 07:48 AM, stan wrote: >> On Thu, 20 Jul 2017 20:37:08 -0700 >> Sherman Grunewagen <sugarwa...@gmx.com> 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@lists.fedoraproject.org >> To unsubscribe send an email to users-le...@lists.fedoraproject.org >> > > Thanks, Stan. When I tried to remove kernel-headers-4.11.10-200, > dnf said it wanted to remove a lot of other packages. Of course I said "no". > If I downgrade the headers to 4.11.8, will it also need to downgrade all > those other > packages? (I've never downgraded anything.) > >
There will be only one kernel-headers package on your system and is normally updated each time the kernel gets updated. So, if you've downloaded the 4.11.8 kernel-headers you should just be able to do.... dnf erase kernel-headers followed by dnf install ./kernel-headers-whatever.rpm -- Fedora Users List - The place to go to speculate endlessly
signature.asc
Description: OpenPGP digital signature
_______________________________________________ users mailing list -- users@lists.fedoraproject.org To unsubscribe send an email to users-le...@lists.fedoraproject.org
