B.3 Windows Kernel Debugging
Throughout this section, I used the following software versions: VMware Workstation 6.5.2 and WinDbg 22.214.171.124.
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.
Step 1: Configure the VMware Guest System for Remote 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 ...