Throughout this section, I used the following software versions: VMware Workstation 6.5.2 and WinDbg 188.8.131.52.
Step 1: Configure the VMware guest system for remote kernel debugging.
Step 2: Adjust the boot.ini of the guest system.
Step 3: Configure WinDbg on the VMware host for Windows kernel debugging.
After I installed a Windows XP SP3 VMware guest system, I powered it off and chose Edit Virtual Machine Settings from the Commands section of VMware. I then ...