Note to self:

when installing a new version of VMWare Server, make sure to grab the vmware-any-any-update113 patch from Without it, compilation of the kernel module vmmon will fail. Also, make sure that the kernel headers are there: apt-get install linux-headers-`uname -r` (hint found on

Update: To prevent the log files from flooding with useless information about your real-time clock (VMWare rtc: lost some interrupts), make sure that /etc/vmware/config contains the line host.useFastClock = FALSE. (hint found on (yes Anton, there is such a thing as useless information in log files :)