1 /** @file
2   GUIDs used as HII FormSet and HII Package list GUID in SecureBootConfigDxe driver.
3 
4 Copyright (c) 2011, 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.
9 
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.
12 
13 **/
14 
15 #ifndef __SECUREBOOT_CONFIG_HII_GUID_H__
16 #define __SECUREBOOT_CONFIG_HII_GUID_H__
17 
18 #define SECUREBOOT_CONFIG_FORM_SET_GUID \
19   { \
20     0x5daf50a5, 0xea81, 0x4de2, {0x8f, 0x9b, 0xca, 0xbd, 0xa9, 0xcf, 0x5c, 0x14} \
21   }
22 
23 
24 extern EFI_GUID gSecureBootConfigFormSetGuid;
25 
26 #endif
27