PlatformHasAcpiDtDxe.inf 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243
  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 = PlatformHasAcpiDtDxe
  12. FILE_GUID = 9d1dd27f-6d7f-427b-aec4-b62f6279c2f1
  13. MODULE_TYPE = DXE_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = PlatformHasAcpiDt
  16. [Sources]
  17. PlatformHasAcpiDtDxe.c
  18. [Packages]
  19. EmbeddedPkg/EmbeddedPkg.dec
  20. MdeModulePkg/MdeModulePkg.dec
  21. MdePkg/MdePkg.dec
  22. OvmfPkg/OvmfPkg.dec
  23. [LibraryClasses]
  24. BaseLib
  25. DebugLib
  26. PcdLib
  27. QemuFwCfgLib
  28. UefiBootServicesTableLib
  29. UefiDriverEntryPoint
  30. [Guids]
  31. gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL
  32. gEdkiiPlatformHasDeviceTreeGuid ## SOMETIMES_PRODUCES ## PROTOCOL
  33. [Pcd]
  34. gUefiOvmfPkgTokenSpaceGuid.PcdForceNoAcpi
  35. [Depex]
  36. gEfiVariableArchProtocolGuid