| niruiyu | e7b100f | 2011-12-14 07:51:54 +0000 | [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).
|
| vanjeff | 18b144e | 2010-09-12 06:43:36 +0000 | [diff] [blame] | 4 |
|
| niruiyu | e7b100f | 2011-12-14 07:51:54 +0000 | [diff] [blame] | 5 | The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained
|
| niruiyu | dc4e55a | 2013-03-27 05:50:20 +0000 | [diff] [blame] | 6 | from: http://www.uefidk.com/develop.
|