--- /dev/null
+/** @file\r
+ EDKII Platform Has Device Tree GUID\r
+\r
+ A NULL protocol instance with this GUID in the DXE protocol database, and/or\r
+ a NULL PPI with this GUID in the PPI database, implies that the platform\r
+ provides the operating system with a Device Tree-based hardware description.\r
+ Note that this is not necessarily exclusive with different kinds of hardware\r
+ description (for example, an ACPI-based one). A platform driver and/or PEIM\r
+ is supposed to produce a single instance of the protocol and/or PPI (with\r
+ NULL contents), if appropriate.\r
+\r
+ Copyright (C) 2017, Red Hat, Inc.\r
+\r
+ This program and the accompanying materials are licensed and made available\r
+ under the terms and conditions of the BSD License that accompanies this\r
+ distribution. The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php.\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT\r
+ WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+**/\r
+\r
+\r
+#ifndef __EDKII_PLATFORM_HAS_DEVICE_TREE_H__\r
+#define __EDKII_PLATFORM_HAS_DEVICE_TREE_H__\r
+\r
+#define EDKII_PLATFORM_HAS_DEVICE_TREE_GUID \\r
+ { \\r
+ 0x7ebb920d, 0x1aaf, 0x46d9, \\r
+ { 0xb2, 0xaf, 0x54, 0x1e, 0x1d, 0xce, 0x14, 0x8b } \\r
+ }\r
+\r
+extern EFI_GUID gEdkiiPlatformHasDeviceTreeGuid;\r
+\r
+#endif\r