EmbeddedPkg: add DT platform driver to select between DT and ACPI

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

diff --git a/EmbeddedPkg/Include/Guid/DtPlatformFormSet.h b/EmbeddedPkg/Include/Guid/DtPlatformFormSet.h
new file mode 100644 (file)
index 0000000..71e3e7e
--- /dev/null
+++ b/EmbeddedPkg/Include/Guid/DtPlatformFormSet.h
@@ -0,0 +1,23 @@
+/** @file\r
+*\r
+*  Copyright (c) 2017, Linaro Limited. All rights reserved.\r
+*\r
+*  This program and the accompanying materials\r
+*  are licensed and made available under the terms and conditions of the BSD License\r
+*  which accompanies this 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,\r
+*  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+*\r
+**/\r
+\r
+#ifndef __DT_PLATFORM_FORMSET_H__\r
+#define __DT_PLATFORM_FORMSET_H__\r
+\r
+#define DT_PLATFORM_FORMSET_GUID  \\r
+  { 0x2b7a240d, 0xd5ad, 0x4fd6, { 0xbe, 0x1c, 0xdf, 0xa4, 0x41, 0x5f, 0x55, 0x26 } }\r
+\r
+extern EFI_GUID gDtPlatformFormSetGuid;\r
+\r
+#endif\r