Files

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: https://firmware.intel.com/develop/intel-uefi-tools-and-utilities/intel-uefi-development-kit-debugger-tool.