Hi friends,
only for information:
It´s possible to run VMware-server on pluto, but you have to add some additional pkg, like source-header and other libs...
I´m not that debian expert, but it was not a problem to search (apt-cache search) and install the needed pkg.
I´m very happy, because now I can use the server also for several things, not "only" for pluto.
-mardoc