Setting up VMware Workstation under 6.0.1 was a breeze, but under 6.2, I can't get WS6.5, WS7.0 or Player3.0 to install. It stops in the compilation of the vmmon kernel module. First, there was the error of the missing /usr/src/linux-headers-2.6.31.6/arch/x86/Makefile_32.cpu (well known bug), but fixing that didn't help.

Is there something screwed up with kernel-2.6.31.6 in Debian? Anyone got VMware working under 6.2?