Configuring the Scan for EFI Images

The default way of loading EFI images by pressing the Load EFI Modules button launches the scan within a default physical memory address range based on the platform type. If this scan did not locate any modules, you can configure the search range manually.

Use the ISD Shell to call the load_​dxe() function with additional parameters as described below.

• system_​table - the base address (in hexadecimal format) of the EFI system table. Example:

  threads[0].load_dxe(system_table=<address>)
  

  If the specified base address is correct and the debugger is able to locate the table, the following message is returned:

  INFO: LoadDXE: Loading N EFI images
  

• top_​of_​memory - the starting point (address in hexadecimal format) of the downwards search for the EFI system table pointer structure. The maximum search range is 4GB. Example:

  threads[0].load_dxe(top_of_memory=<address>)
  

  You should see the following message returned:

       INFO: LoadDXE: Searching for the EFI system table pointer from <your-address> to 0x0
  
  INFO: LoadDXE: Loading N EFI images
  

If no modules are found and loaded, check potential failure causes.