First of all, thank you, accessing ESXi servers via vSphere has been a god send over the years (FWIW, still running relatively recent version of vSphere on an a

First of all, thank you, accessing ESXi servers via vSphere has been a god send over the years (FWIW, still running relatively recent version of vSphere on an ancient 2003 Server VM ;-)). Workstation was my go to as well for desktop development needs for many years, but switched to VirtualBox after Workstation 10. Kernel updates on Linux often broke Workstation. You needed to wait for VMware to release an update, upgrade to the next version (that would also soon lag behind latest kernels), or search for a patch over on Arch[0]. VirtualBox does the trick but Workstation's a better product. https://aur.archlinux.org/packages/vmware-patch https://aur.archlinux.org/packages/vmware-patch