]> git.proxmox.com Git - mirror_edk2.git/blob - EmbeddedPkg/Include/Guid/DtPlatformFormSet.h
EmbeddedPkg: add DT platform driver to select between DT and ACPI
[mirror_edk2.git] / EmbeddedPkg / Include / Guid / DtPlatformFormSet.h
1 /** @file
2 *
3 * Copyright (c) 2017, Linaro Limited. All rights reserved.
4 *
5 * This program and the accompanying materials
6 * are licensed and made available under the terms and conditions of the BSD License
7 * which accompanies this distribution. 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 __DT_PLATFORM_FORMSET_H__
16 #define __DT_PLATFORM_FORMSET_H__
17
18 #define DT_PLATFORM_FORMSET_GUID \
19 { 0x2b7a240d, 0xd5ad, 0x4fd6, { 0xbe, 0x1c, 0xdf, 0xa4, 0x41, 0x5f, 0x55, 0x26 } }
20
21 extern EFI_GUID gDtPlatformFormSetGuid;
22
23 #endif