Owners Manual
Page 86
... System setup options The options are : • PK-enabled by default. Enable CPU XD Support-enabled by virtualization based security. Secure Boot screen options Option Description Secure Boot Enable This option enables or disables the Secure Boot feature. • Disabled • Enabled (Default) Expert Key...by default. The option is set. The options are : • Save to File-Saves the key to a user-selected file • Replace from File-Replaces the current key with a key from a user-selected file • Append from File-Adds a key to the current database from entering Setup...
... System setup options The options are : • PK-enabled by default. Enable CPU XD Support-enabled by virtualization based security. Secure Boot screen options Option Description Secure Boot Enable This option enables or disables the Secure Boot feature. • Disabled • Enabled (Default) Expert Key...by default. The option is set. The options are : • Save to File-Saves the key to a user-selected file • Replace from File-Replaces the current key with a key from a user-selected file • Append from File-Adds a key to the current database from entering Setup...
Owners Manual
Page 92
... the One Time Boot Menu. 5 Using arrow keys, select USB Storage Device and click Return. 6 The system will load, follow the instructions on screen. 92 System setup options NOTE: If BitLocker is enabled, it will need to update the BIOS, download the BIOS file using a USB flash drive ... the BIOS update is completed. 1 Restart the computer. 2 Go to Dell.com/support. • Enter the Service Tag or Express Service Code and click Submit. • Click Detect Product and follow the instructions on screen. 3 If you replace the system board or if an update is available. Updating the BIOS in...
... the One Time Boot Menu. 5 Using arrow keys, select USB Storage Device and click Return. 6 The system will load, follow the instructions on screen. 92 System setup options NOTE: If BitLocker is enabled, it will need to update the BIOS, download the BIOS file using a USB flash drive ... the BIOS update is completed. 1 Restart the computer. 2 Go to Dell.com/support. • Enter the Service Tag or Express Service Code and click Submit. • Click Detect Product and follow the instructions on screen. 3 If you replace the system board or if an update is available. Updating the BIOS in...