Table of Contents
Advertisement
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 displays the available devices. The device items that appears on the screen
the selected device.
Launch EFI Shell from filesystem device
devices.
4-48
Chapter 4: BIOS setup
Advertisement
Table of Contents
