User and Reference Guide

  • 2020
  • 07/29/2020
  • Public Content

Loading EFI Images for DXE Phase and Onwards

To load EFI images for later UEFI boot phase like DXE, follow the steps below:
  1. Halt the target and ensure that it has stopped late enough in the UEFI boot sequence (not in flash memory region).
  2. Select a desired hardware thread in the Debug view.
  3. Expand the drop-down menu of the
    load this
    Load available debug symbols button and select Load EFI Images.
    The tool searches for EFI images and attempts to load symbols for each of them. This takes more time than usual loading of debug information.
  4. When the search and loading is completed, check the Modules view for the list of successfully loaded modules.
    If the view is empty, no modules have been found or successfully loaded.
  5. Launch the ISD Shell and check the error messages to determine possible issues.
    If a module has been added successfully, the shell returns a corresponding message.

Product and Performance Information


Intel's compilers may or may not optimize to the same degree for non-Intel microprocessors for optimizations that are not unique to Intel microprocessors. These optimizations include SSE2, SSE3, and SSSE3 instruction sets and other optimizations. Intel does not guarantee the availability, functionality, or effectiveness of any optimization on microprocessors not manufactured by Intel. Microprocessor-dependent optimizations in this product are intended for use with Intel microprocessors. Certain optimizations not specific to Intel microarchitecture are reserved for Intel microprocessors. Please refer to the applicable product User and Reference Guides for more information regarding the specific instruction sets covered by this notice.

Notice revision #20110804