• Debugging EDK II using OvmfPkg with QEMU and the Windows Debugger (WinDbg)
• Download the Required Applications
• WinDbg
• Intel UDK Debugger Tool
• Building the Firmware
• Launching the Debug Session
• WinDbg Working Case Examples
• More Information