3 // Copyright (c) 2004 - 2014, Intel Corporation. All rights reserved.<BR>
5 // This program and the accompanying materials are licensed and made available under
6 // the terms and conditions of the BSD License that accompanies this distribution.
7 // The full text of the license may be found at
8 // http://opensource.org/licenses/bsd-license.php.
10 // THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
21 // Driver Setup formset.
28 form formid = BOOT_CONFIGURATION_FORM_ID,
30 title = STRING_TOKEN(STR_BOOT_CONFIGURATION_TITLE);
33 oneof varid = Setup.FastBoot,
34 prompt = STRING_TOKEN(STR_FAST_BOOT_PROMPT),
35 help = STRING_TOKEN(STR_FAST_BOOT_HELP),
36 option text = STRING_TOKEN(STR_DISABLE), value=0, flags= DEFAULT | RESET_REQUIRED;
37 option text = STRING_TOKEN(STR_ENABLE), value=1, flags= MANUFACTURING | RESET_REQUIRED;
40 oneof varid = Setup.SecureBoot,
41 prompt = STRING_TOKEN(STR_SECURITY_BOOT_PROMPT),
42 help = STRING_TOKEN(STR_SECURITY_BOOT_HELP),
43 option text = STRING_TOKEN(STR_DISABLE), value=0, flags= DEFAULT | MANUFACTURING | RESET_REQUIRED;
44 option text = STRING_TOKEN(STR_ENABLE), value=1, flags= RESET_REQUIRED;
48 oneof varid = Setup.QuietBoot,
49 prompt = STRING_TOKEN(STR_QUIETBOOT_PROMPT),
50 help = STRING_TOKEN(STR_QUIETBOOT_HELP),
51 option text = STRING_TOKEN(STR_DISABLE), value=0, flags=DEFAULT | MANUFACTURING | RESET_REQUIRED;
52 option text = STRING_TOKEN(STR_ENABLE), value=1, flags=0 | RESET_REQUIRED;
57 oneof varid = Setup.LogBootTime,
58 prompt = STRING_TOKEN(STR_LOG_BOOT_TIME_PROMPT),
59 help = STRING_TOKEN(STR_LOG_BOOT_TIME_HELP),
60 option text = STRING_TOKEN(STR_DISABLE), value = 0, flags = 0 | RESET_REQUIRED;
61 option text = STRING_TOKEN(STR_ENABLE), value = 1, flags = DEFAULT | MANUFACTURING | RESET_REQUIRED;
64 suppressif ideqval Setup.LogBootTime == 0x00;
66 help = STRING_TOKEN(STR_NULL_STRING),
67 text = STRING_TOKEN(STR_LOG_BOOT_TIME_RECORD),
68 text = STRING_TOKEN(STR_LOG_BOOT_TIME_VALUE),