| Vishal Bhoj | 82c8071 | 2015-12-15 21:13:33 +0530 | [diff] [blame^] | 1 | UDK based firmware on UEFI IA-32 and UEFI x64 platforms can be debugged with |
| 2 | SourceLevelDebugPkg in conjunction with Intel(R) UEFI Development Kit Debugger | ||||
| 3 | Tool (Intel (R) UDK Debugger Tool). | ||||
| 4 | |||||
| 5 | The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained | ||||
| 6 | from: http://www.uefidk.com/develop. | ||||