| 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.intel.com/technology/efi.
|
|---|
| 7 |
|
|---|
| 8 | NOTE: In addition to the known issues listed in the user manual, the following
|
|---|
| 9 | anomalies have been observed:
|
|---|
| 10 |
|
|---|
| 11 | 1) When using a USB debug cable, after the TARGET completes a reset during
|
|---|
| 12 | memory initialization, the connection between the HOST and the TARGET may be
|
|---|
| 13 | lost. A work around for this issue is to unplug the USB debug cable and then
|
|---|
| 14 | plug the cable back in. A new debug session can then be started.
|
|---|
