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 #ifndef __EDKII_PLATFORM_HAS_DEVICE_TREE_H__
  18 #define __EDKII_PLATFORM_HAS_DEVICE_TREE_H__
  19
  20 #define EDKII_PLATFORM_HAS_DEVICE_TREE_GUID \
  21   { \
  22     0x7ebb920d, 0x1aaf, 0x46d9, \
  23     { 0xb2, 0xaf, 0x54, 0x1e, 0x1d, 0xce, 0x14, 0x8b } \
  24   }
  25
  26 extern EFI_GUID  gEdkiiPlatformHasDeviceTreeGuid;
  27
  28 #endif