/** @file | |
EDKII Platform Has Device Tree GUID | |
A NULL protocol instance with this GUID in the DXE protocol database, and/or | |
a NULL PPI with this GUID in the PPI database, implies that the platform | |
provides the operating system with a Device Tree-based hardware description. | |
Note that this is not necessarily exclusive with different kinds of hardware | |
description (for example, an ACPI-based one). A platform driver and/or PEIM | |
is supposed to produce a single instance of the protocol and/or PPI (with | |
NULL contents), if appropriate. | |
Copyright (C) 2017, Red Hat, Inc. | |
SPDX-License-Identifier: BSD-2-Clause-Patent | |
**/ | |
#ifndef __EDKII_PLATFORM_HAS_DEVICE_TREE_H__ | |
#define __EDKII_PLATFORM_HAS_DEVICE_TREE_H__ | |
#define EDKII_PLATFORM_HAS_DEVICE_TREE_GUID \ | |
{ \ | |
0x7ebb920d, 0x1aaf, 0x46d9, \ | |
{ 0xb2, 0xaf, 0x54, 0x1e, 0x1d, 0xce, 0x14, 0x8b } \ | |
} | |
extern EFI_GUID gEdkiiPlatformHasDeviceTreeGuid; | |
#endif |