Comment's added and fixed.
[mirror_edk2.git] / SourceLevelDebugPkg / Readme.txt
1 UDK based firmware on UEFI IA-32 and UEFI x64 platforms may be debugged using \r
2 Microsoft(R) Debugging Tools for Windows(R) (WinDbg). Debug capability is enabled\r
3 with SourceLevelDebugPkg in conjunction with the Intel(R) UEFI Development Kit \r
4 Debugger Tool (Intel(R) UDK Debugger Tool).\r
5 \r
6 The Intel(R) UDK Debugger Tool and its detailed user manual may be obtained from:\r
7 http://www.intel.com/technology/efi. \r
8 \r
9 NOTE: In addition to the known issues listed in the user manual, the following \r
10 anomalies have been observed:\r
11 \r
12 1) When using a USB debug cable, after the TARGET completes a reset during memory\r
13    initialization, the connection between the HOST and the TARGET may be lost \r
14    (e.g. WinDbg reports busy status and does not respond to a break request). A \r
15    work around for this issue is to unplug the USB debug cable and then plug the\r
16    cable back in. A new debug session may then be started.\r