15-412 F'19 Xen Windbg project

Goal

Windbg is a popular debugger used for debugging for Window systems. Windbg can be used to remotely debug a Windows machine using the kdd protocol. This normally requires the machine to be running in debug mode. The goal of this Fall 2019 project was to debug a Windows machine that is not running in debug mode but instead is running as a Xen guest, by updating the out-of-date (2010) implementation of the kdd protocol server in Xen.

Project Proposal

Initial Results

• Acknowledgement in Xen 4.14 release notes
• Patch 1
• Patch 2

[Last modified Tuesday September 15, 2026]