]>
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: http://www.uefidk.com/develop.\r |