I installed VisualDDK-1.5.5.exe.
In VC2008 menu, Select Debug->Driver Launch Settings….
In the dialog VisualDDK Driver Project Launcher, the combobox Named Pipe always shows kd_VMXPRO.
However, the pipe name shown in the Virtual Machine Monitor (vmmon.exe), the pipe name “kd_Windows_XP_Professional.vmwarevm“
They are totally different. I tried to save in the Driver Project Launcher dialog, but next time it still shows kd_VMXPRO.