+## @file\r
+# A hook-in library for MdeModulePkg/Universal/Acpi/AcpiTableDxe.\r
+#\r
+# Plugging this library instance into AcpiTableDxe makes\r
+# EFI_ACPI_TABLE_PROTOCOL and (if enabled) EFI_ACPI_SDT_PROTOCOL depend on the\r
+# platform's dynamic decision whether to expose an ACPI-based hardware\r
+# description to the operating system.\r
+#\r
+# Universal and platform specific DXE drivers that produce ACPI tables depend\r
+# on EFI_ACPI_TABLE_PROTOCOL / EFI_ACPI_SDT_PROTOCOL in turn.\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 which 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
+[Defines]\r
+ INF_VERSION = 1.25\r
+ BASE_NAME = PlatformHasAcpiLib\r
+ FILE_GUID = 29beb028-0958-447b-be0a-12229235d77d\r
+ MODULE_TYPE = BASE\r
+ VERSION_STRING = 1.0\r
+ LIBRARY_CLASS = PlatformHasAcpiLib|DXE_DRIVER\r
+ CONSTRUCTOR = PlatformHasAcpiInitialize\r
+\r
+[Sources]\r
+ PlatformHasAcpiLib.c\r
+\r
+[Packages]\r
+ EmbeddedPkg/EmbeddedPkg.dec\r
+ MdePkg/MdePkg.dec\r
+\r
+[Depex]\r
+ gEdkiiPlatformHasAcpiGuid\r