]>
Commit | Line | Data |
---|---|---|
1 | UDK based firmware on UEFI IA-32 and UEFI x64 platforms can be debugged with\r | |
2 | SourceLevelDebugPkg in conjunction with Intel(R) UEFI Development Kit Debugger\r | |
3 | Tool (Intel (R) UDK Debugger Tool).\r | |
4 | \r | |
5 | The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained\r | |
6 | from: https://firmware.intel.com/develop/intel-uefi-tools-and-utilities/intel-uefi-development-kit-debugger-tool.\r |