3 // Copyright (c) 2009, Intel Corporation
4 // All rights reserved. This program and the accompanying materials
5 // are licensed and made available under the terms and conditions of the BSD License
6 // which accompanies this distribution. The full text of the license may be found at
7 // http://opensource.org/licenses/bsd-license.php
9 // THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
10 // WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
18 // Sample Setup formset
26 #include "NVDataStruc.h"
27 #include <Guid/HiiPlatformSetupFormset.h>
30 guid = EFI_CALLER_ID_GUID,
31 title = STRING_TOKEN(STR_FORM_SET_TITLE),
32 help = STRING_TOKEN(STR_FORM_SET_TITLE_HELP),
33 classguid = EFI_HII_DRIVER_HEALTH_FORMSET_GUID,
36 // Define a Buffer Storage (EFI_IFR_VARSTORE)
38 varstore DISK_IO_NV_DATA, // This is the data structure type
39 varid = 0x1234, // Optional VarStore ID
40 name = Config, // Define referenced name in vfr
41 guid = EFI_CALLER_ID_GUID; // GUID of this buffer storage
45 title = STRING_TOKEN(STR_TITLE);
49 numeric varid = Config.ConfigGood,
50 prompt = STRING_TOKEN(STR_CONFIG_CONTROLLER_LIST),
51 help = STRING_TOKEN(STR_CONFIG_CONTROLLER_LIST_HELP),
52 flags = DISPLAY_UINT_DEC,