Installing VMware Workstation on Fedora 42

I spent a lot of time figuring out how to get vmware with the vmmon and vmnet kernel modules installed, because it only supports Fedora 40 with Kernel version 6.10.10-200. I tried downgrading to that kernel but that didn&rsquo;t work, because kernel-headers-6.10.10-200.fc40.x86_64 couldn&rsquo;t be installed. mkubecek/vmware-host-modules didn&rsquo;t work either, but gleb-kun made some patches to…