XenPlatformHasAcpiDtDxe.inf 970 B

12345678910111213141516171819202122232425262728293031323334353637
  1. ## @file
  2. # Decide whether the firmware should expose an ACPI- and/or a Device Tree-based
  3. # hardware description to the operating system.
  4. #
  5. # Copyright (c) 2017, Red Hat, Inc.
  6. #
  7. # SPDX-License-Identifier: BSD-2-Clause-Patent
  8. ##
  9. [Defines]
  10. INF_VERSION = 1.25
  11. BASE_NAME = XenPlatformHasAcpiDtDxe
  12. FILE_GUID = 6914c46f-d46e-48dc-9998-8a5f64f02553
  13. MODULE_TYPE = DXE_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = XenPlatformHasAcpiDt
  16. [Sources]
  17. XenPlatformHasAcpiDtDxe.c
  18. [Packages]
  19. EmbeddedPkg/EmbeddedPkg.dec
  20. MdeModulePkg/MdeModulePkg.dec
  21. MdePkg/MdePkg.dec
  22. [LibraryClasses]
  23. BaseLib
  24. DebugLib
  25. UefiBootServicesTableLib
  26. UefiDriverEntryPoint
  27. [Guids]
  28. gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL
  29. gEdkiiPlatformHasDeviceTreeGuid ## PRODUCES ## PROTOCOL
  30. [Depex]
  31. TRUE