SourceLevelDebugPkg/Readme.txt

   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.