Service Manual

Table 4. System setup options—Boot Configuration menu (continued)
Boot Configuration
Default: OFF
NOTE: For Secure Boot to be enabled, the computer needs to be in UEFI
boot mode and the Enable Legacy Option ROMs option needs to be turned
off.
Secure Boot Mode Selects the Secure Boot operation mode.
Default: Deployed Mode
NOTE: Deployed Mode should be selected for normal operation of Secure
Boot.
Expert Key Management
Enable Custom Mode Enables or disables the keys in the PK, KEK, db, and dbx security key databases
to be modified.
Default: OFF
Custom Mode Key Management Selects the custom values for expert key management.
Default: PK
Table 5. System setup options—Integrated Devices menu
Integrated Devices
Date/Time
Date Sets the computer date in MM/DD/YYYY format. Changes to the date take
effect immediately.
Time Sets the computer time in HH/MM/SS 24-hour format. You can switch between
12-hour and 24-hour clock. Changes to the time take effect immediately.
Camera
Enable Camera Enables or disables the camera.
By default, Enable Camera is selected.
NOTE: The camera setup option may not be available, depending on the
configuration ordered.
Audio
Enable Audio Enables or disables all integrated audio controller.
Default: ON
Enable Microphone Enables or disables microphone.
By default, Enable Microphone is selected.
NOTE: The microphone setup option may not be available, depending on the
configuration ordered.
Enable Internal Speaker Enables or disables internal speaker.
By default, Enable Internal Speaker is selected.
USB/Thunderbolt Configuration
Enable USB Boot Support Enables or disables USB Boot Support.
Default: Enabled
Enable External USB Ports Enables or disables external USB ports.
Default: Enabled
System setup 51