On Thu, May 5, 2022, at 9:41 AM, Adam Mercer wrote: > Hi > > I had an update to the 5.17.5 kernel ,on my Fedora 35 system, this > morning but there was no corresponding update to the kernel-headers > package. As such I'm unable to rebuild the VMWare modules for VMWare > Workstation. Do I just need to wait until the next mirror sync or is > this not available for some other reason? I don't have VMWare, using VirtualBox. But I think it did actually *build* my new driver. I can confirm that I am still running on the .4 version of the headers: 9:58-doug@wombat-~>rpm -qa | grep headers-5 kernel-headers-5.17.4-200.fc35.x86_64 9:59-doug@wombat-~>rpm -qa |grep 5.17.5 kernel-core-5.17.5-200.fc35.x86_64 kernel-modules-5.17.5-200.fc35.x86_64 kernel-5.17.5-200.fc35.x86_64 kernel-modules-extra-5.17.5-200.fc35.x86_64 kernel-devel-5.17.5-200.fc35.x86_64 kmod-VirtualBox-5.17.5-200.fc35.x86_64-6.1.34-2.fc35.x86_64 Maybe the VMWare build is being a bit too picky about the required header? _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure