mirror of
https://github.com/Dasharo/edk2.git
synced 2026-06-13 10:16:24 -07:00
Antoine Coeur
6b81166fff
Correctly write 'definitions' in comments and documentation. Cc: Hao A Wu <hao.a.wu@intel.com> Signed-off-by: Antoine Coeur <coeur@gmx.fr> Reviewed-by: Philippe Mathieu-Daude <philmd@redhat.com> Reviewed-by: Hao A Wu <hao.a.wu@intel.com> Signed-off-by: Philippe Mathieu-Daude <philmd@redhat.com> Message-Id: <20200207010831.9046-74-philmd@redhat.com>
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: https://firmware.intel.com/develop/intel-uefi-tools-and-utilities/intel-uefi-development-kit-debugger-tool.