To be able to use VMWare workstation and the kernel 2.6.25, you need to apply somes patches. We can find a lot of patches about this issue with Google, but no one worked for me. You will find the patches I made with the modifications I did to be able to compile vmmon and vmnet modules. Here is the list of website I visited, my patches are custom compilations of thoose patches.

First, install vmware-workstation and do not run vmware-config.pl. Then, uncompress vmware-any-any-update116 and run runme.pl. It will fail, it is ok. You've probably already done this ;)

Now, it is a bit more complicated. Go to the directory /usr/lib/vmware/modules/source and uncompress vmmon.tar and vmnet.tar. Then, apply this patch and this patch to the folders vmmon-only and vmnet-only. Now, make archives again. So, we have to do something like this, as root, :

cd /usr/lib/vmware/modules/source
tar -xvf vmmon.tar
tar -xvf vmnet.tar
wget http://blog.ac-graphic.net/public/Patches/vmnet.patch
wget http://blog.ac-graphic.net/public/Patches/vmmon.patch
patch -p0 < vmnet.patch
patch -p0 < vmmon.patch
tar -cvf vmmon.tar vmmon-only
tar -cvf vmnet.tar vmnet-only
cd /location/of/vmware-any-any
./runme.pl

Now, go to /usr/src/linux and apply this patch and this other one to paravirt.h and page.h

Now, you can run /usr/bin/vmware-config.pl and enjoy ! Note you can have several warning at the compilation, but don't take care.