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?