--- /dev/null
+/** @file\r
+ GUID indicates that the form set contains forms designed to be used \r
+ for platform configuration and this form set will be displayed.\r
+\r
+ Copyright (c) 2009, Intel Corporation \r
+ All rights reserved. This program and the accompanying materials \r
+ are licensed and made available under the terms and conditions of the BSD License \r
+ which accompanies this distribution. The full text of the license may be found at \r
+ http://opensource.org/licenses/bsd-license.php \r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
+ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r
+\r
+ @par Revision Reference:\r
+ GUID defined in UEFI 2.1.\r
+\r
+**/\r
+\r
+#ifndef __HII_PLATFORM_SETUP_FORMSET_GUID_H__\r
+#define __HII_PLATFORM_SETUP_FORMSET_GUID_H__\r
+\r
+#define EFI_HII_PLATFORM_SETUP_FORMSET_GUID \\r
+ { 0x93039971, 0x8545, 0x4b04, { 0xb4, 0x5e, 0x32, 0xeb, 0x83, 0x26, 0x4, 0xe } }\r
+\r
+extern EFI_GUID gEfiHiiPlatformSetupFormsetGuid;\r
+\r
+#endif\r
## Include/Protocol/DebugPort.h\r
gEfiDebugPortDevicePathGuid = { 0xEBA4E8D2, 0x3858, 0x41EC, { 0xA2, 0x81, 0x26, 0x47, 0xBA, 0x96, 0x60, 0xD0 }}\r
\r
+ ## Include/Guid/HiiPlatformSetupFormset.h\r
+ gEfiHiiPlatformSetupFormsetGuid = { 0x93039971, 0x8545, 0x4b04, { 0xb4, 0x5e, 0x32, 0xeb, 0x83, 0x26, 0x04, 0x0e }}\r
+\r
#\r
# GUID defined in PI1.0\r
#\r
\r
## Include/Guid/HardwareErrorVariable.h\r
gEfiHardwareErrorVariableGuid = { 0x414E6BDD, 0xE47B, 0x47cc, { 0xB2, 0x44, 0xBB, 0x61, 0x02, 0x0C, 0xF5, 0x16 }}\r
-\r
+ \r
[Ppis.common]\r
## Include/Ppi/MasterBootMode.h\r
gEfiPeiMasterBootModePpiGuid = { 0x7408d748, 0xfc8c, 0x4ee6, {0x92, 0x88, 0xc4, 0xbe, 0xc0, 0x92, 0xa4, 0x10 } }\r