| 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). | |
| The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained | |
| from: http://www.intel.com/technology/efi. | |
| NOTE: In addition to the known issues listed in the user manual, the following | |
| anomalies have been observed: | |
| 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. |