UDK based firmware on UEFI IA-32 and UEFI x64 platforms may be debugged using 
Microsoft(R) Debugging Tools for Windows(R) (WinDbg). Debug capability is enabled
with SourceLevelDebugPkg in conjunction with the Intel(R) UEFI Development Kit 
Debugger Tool (Intel(R) UDK Debugger Tool).

The Intel(R) UDK Debugger Tool and its detailed user manual may be obtained from:
http://www.intel.com/technology/efi. 

NOTE: In addition to the known issues listed in the user manual, the following 
anomalies have been observed:

1) When using a USB debug cable, after the TARGET completes a reset during memory
   initialization, the connection between the HOST and the TARGET may be lost 
   (e.g. WinDbg reports busy status and does not respond to a break request). A 
   work around for this issue is to unplug the USB debug cable and then plug the
   cable back in. A new debug session may then be started.
