-The Intel(R) UDK Debugger Tool and its detailed user manual may be obtained from:\r
-http://www.intel.com/technology/efi. \r
-\r
-NOTE: In addition to the known issues listed in the user manual, the following \r
-anomalies have been observed:\r
-\r
-1) When using a USB debug cable, after the TARGET completes a reset during memory\r
- initialization, the connection between the HOST and the TARGET may be lost \r
- (e.g. WinDbg reports busy status and does not respond to a break request). A \r
- work around for this issue is to unplug the USB debug cable and then plug the\r
- cable back in. A new debug session may then be started.\r
+The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained\r
+from: http://www.uefidk.com/develop.\r