Current State of VMWare Workstation and Player
I have mentioned before that you should avoid upgrading to Linux Kernel 3.9 and GCC 4.8.0 if you are using any VMWare products (Workstation or Player) since this combination may break the modules recompilation.
There are 'safe' combination if you want to VMWare Workstation/Player:
Update 1: Luigi Trovato has mentioned that he has successfully built VMWare Workstation 9.0.2 on Linux Kernel 3.9.2 with GCC 4.8.0 and it worked. I'm currently downloading Linux Kernel 3.9.2 and will compile it to try it out. I was using Linux Kernel 3.9.0 and didn't try other version.
Update 2: I have successfully compiled Linux Kernel 3.9.2 and i can confirm that this version does work with VMWare Workstation 9.0.2 and GCC 4.8.0. I didn't see any changes within the vmci source code, but apparently it worked now, so you can use both Linux Kernel 3.8 or 3.9 along with GCC 4.7.3 or 4.8.0 combination.
There are 'safe' combination if you want to VMWare Workstation/Player:
- Linux Kernel 3.8.x and GCC 4.8.x
- Linux Kernel 3.9.x and GCC 4.7.x
Update 1: Luigi Trovato has mentioned that he has successfully built VMWare Workstation 9.0.2 on Linux Kernel 3.9.2 with GCC 4.8.0 and it worked. I'm currently downloading Linux Kernel 3.9.2 and will compile it to try it out. I was using Linux Kernel 3.9.0 and didn't try other version.
Update 2: I have successfully compiled Linux Kernel 3.9.2 and i can confirm that this version does work with VMWare Workstation 9.0.2 and GCC 4.8.0. I didn't see any changes within the vmci source code, but apparently it worked now, so you can use both Linux Kernel 3.8 or 3.9 along with GCC 4.7.3 or 4.8.0 combination.