Hi.
I have virtualKD working with two windows guests running over a linux host. One windows runs the debugger with an udp<->pipe proxy, and the other runs virtualKD. On the linux side I patched VboxDD.so. The virtualKD packets captured by VboxDD.so are sent over udp to the pipe proxy and then to the debugger. It works like a charm.
Does anybody can give some advice on how to patch vmware on the linux side to do something equivalent.

Thanks in advance.