ADLINK IMB-T10 - Manual (Page 61)

BIOS Setup 49
IMB-T10
Load UEFI Defaults
Load UEFI default values for all the setup questions. F9 key can
be used for this operation.
Launch EFI Shell from file system device
Attempts to Launch EFI Shell application (Shell64.efi) from one of
the available file system devices.