2.3.2 Configure Debug 2.4 Connect Windows Kernel Debugger to the Target
Windows Kernel Debugging  /  2 Windows Kernel Debugging Over a Network  /  2.3 Setting up Windows Target for Debug  / 

2.3.3 Shutdown, Save State, and Reboot

These changes do not take effect until the target system is rebooted. To make it easy to get into debug:

For the QSP-x86 system, a complete image save is done in a way like this:

simics> board.disk0.hd_image.save -save-craff win10-debug.craff

Start a new Simics session using this new disk image as the boot image.

2.3.2 Configure Debug 2.4 Connect Windows Kernel Debugger to the Target