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 -- [email protected]
To unsubscribe send an email to [email protected]
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/[email protected]
Do not reply to spam on the list, report it: 
https://pagure.io/fedora-infrastructure

Reply via email to