tuxedo-drivers/v4.13.1, 6.15.5-2-cachyos, x86_64: installed tuxedo/yt6801, 6.15.5-2-cachyos, x86_64: installed vmware-workstation/17.6.3_24583834, 6.15.5-2-cachyos, x86_64: installed