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.uefidk.com/develop.