2 GUIDs used as HII FormSet and HII Package list GUID in SecureBootConfigDxe driver.
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.
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.
15 #ifndef __SECUREBOOT_CONFIG_HII_GUID_H__
16 #define __SECUREBOOT_CONFIG_HII_GUID_H__
18 #define SECUREBOOT_CONFIG_FORM_SET_GUID \
20 0x5daf50a5, 0xea81, 0x4de2, {0x8f, 0x9b, 0xca, 0xbd, 0xa9, 0xcf, 0x5c, 0x14} \
24 extern EFI_GUID gSecureBootConfigFormSetGuid
;