2011-12-14 08:51:54 +01: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 08:43:36 +02:00
|
|
|
|
2011-12-14 08:51:54 +01:00
|
|
|
The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained
|
|
|
|
|
from: http://www.intel.com/technology/efi.
|
2010-09-12 08:43:36 +02:00
|
|
|
|
2011-12-14 08:51:54 +01:00
|
|
|
NOTE: In addition to the known issues listed in the user manual, the following
|
2010-09-13 04:03:04 +02:00
|
|
|
anomalies have been observed:
|
2010-09-12 08:43:36 +02:00
|
|
|
|
2011-12-14 08:51:54 +01:00
|
|
|
1) When using a USB debug cable, after the TARGET completes a reset during
|
|
|
|
|
memory initialization, the connection between the HOST and the TARGET may be
|
|
|
|
|
lost. A work around for this issue is to unplug the USB debug cable and then
|
|
|
|
|
plug the cable back in. A new debug session can then be started.
|
