Restore Defaults
Restore/load default 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
These items display the available devices. The device items that appear on the screen
depend on the number of devices installed in the system. Click an item to start booting from
the selected device.
Launch EFI Shell from filesystem device
Attempts to launch EFI Shell application (shellx64.efi) from one of the available filesystem
devices.
5-48
Chapter 5: BIOS Setup