UDK based firmware on UEFI IA-32 and UEFI x64 platforms can be debugged with

SourceLevelDebugPkg in conjunction with Intel(R) UEFI Development Kit Debugger

Tool (Intel (R) UDK Debugger Tool).

The Intel(R) UDK Debugger Tool and its detailed user manual can 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. A work around for this issue is to unplug the USB debug cable and then

plug the cable back in. A new debug session can then be started.