IBASE SI-18 - Manual (Page 41)

41
Restore Defaults
Restore/Load Defaults values for all the setup options.
Save as User Defaults
Save the changes done so far as User Defaults.
Restore User Defaults
Restore the User Defaults to all the setup options.
Boot Override
Pressing ENTER causes the system to enter the OS.
Launch EFI Shell from filesystem device
Attempts to launch EFI Shell application (Shellx64.efi) from
one of the available filesystem devices.