EmbeddedPkg/Include/Guid/PlatformHasDeviceTree.h

   1 /** @file
   2   EDKII Platform Has Device Tree GUID
   3
   4   A NULL protocol instance with this GUID in the DXE protocol database, and/or
   5   a NULL PPI with this GUID in the PPI database, implies that the platform
   6   provides the operating system with a Device Tree-based hardware description.
   7   Note that this is not necessarily exclusive with different kinds of hardware
   8   description (for example, an ACPI-based one). A platform driver and/or PEIM
   9   is supposed to produce a single instance of the protocol and/or PPI (with
  10   NULL contents), if appropriate.
  11
  12   Copyright (C) 2017, Red Hat, Inc.
  13
  14   SPDX-License-Identifier: BSD-2-Clause-Patent
  15 **/
  16
  17
  18 #ifndef __EDKII_PLATFORM_HAS_DEVICE_TREE_H__
  19 #define __EDKII_PLATFORM_HAS_DEVICE_TREE_H__
  20
  21 #define EDKII_PLATFORM_HAS_DEVICE_TREE_GUID \
  22   { \
  23     0x7ebb920d, 0x1aaf, 0x46d9, \
  24     { 0xb2, 0xaf, 0x54, 0x1e, 0x1d, 0xce, 0x14, 0x8b } \
  25   }
  26
  27 extern EFI_GUID gEdkiiPlatformHasDeviceTreeGuid;
  28
  29 #endif