EmbeddedPkg: introduce EDKII Platform Has ACPI GUID

[mirror_edk2.git] / EmbeddedPkg / Include / Guid / PlatformHasAcpi.h

diff --git a/EmbeddedPkg/Include/Guid/PlatformHasAcpi.h b/EmbeddedPkg/Include/Guid/PlatformHasAcpi.h
new file mode 100644 (file)
index 0000000..ad51782
--- /dev/null
+++ b/EmbeddedPkg/Include/Guid/PlatformHasAcpi.h
@@ -0,0 +1,35 @@
+/** @file\r
+  EDKII Platform Has ACPI 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 an ACPI-based hardware description. Note\r
+  that this is not necessarily exclusive with different kinds of hardware\r
+  description (for example, a Device Tree-based one). A platform driver and/or\r
+  PEIM is supposed to produce a single instance of the protocol and/or PPI\r
+  (with 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_ACPI_H__\r
+#define __EDKII_PLATFORM_HAS_ACPI_H__\r
+\r
+#define EDKII_PLATFORM_HAS_ACPI_GUID \\r
+  { \\r
+    0xf0966b41, 0xc23f, 0x41b9, \\r
+    { 0x96, 0x04, 0x0f, 0xf7, 0xe1, 0x11, 0x96, 0x5a } \\r
+  }\r
+\r
+extern EFI_GUID gEdkiiPlatformHasAcpiGuid;\r
+\r
+#endif\r