]>
Commit | Line | Data |
---|---|---|
e7b100fa RN |
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 | |
18b144ea | 4 | \r |
e7b100fa | 5 | The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained\r |
dc4e55a9 | 6 | from: http://www.uefidk.com/develop.\r |