2011-12-14 15:51:54 +08:00
|
|
|
UDK based firmware on UEFI IA-32 and UEFI x64 platforms can be debugged with
|
|
|
|
SourceLevelDebugPkg in conjunction with Intel(R) UEFI Development Kit Debugger
|
|
|
|
Tool (Intel (R) UDK Debugger Tool).
|
2010-09-12 14:43:36 +08:00
|
|
|
|
2011-12-14 15:51:54 +08:00
|
|
|
The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained
|
2013-03-27 13:50:20 +08:00
|
|
|
from: http://www.uefidk.com/develop.
|