Use CPUID Leaf 01 to detect support for debug extensions. Force use of software breakpoints if debug extensions are not supported. Contributed-under: TianoCore Contribution Agreement 1.0 Signed-off-by: Michael Kinney <michael.d.kinney@intel.com> Reviewed-by: Jordan Justen <jordan.l.justen@intel.com> git-svn-id: https://svn.code.sf.net/p/edk2/code/trunk/edk2@17219 6f19259b-4bc3-4df7-8a09-765794883524
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.uefidk.com/develop.