XenAcpiPlatformDxe.inf 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. ## @file
  2. # Xen ARM ACPI Platform Driver using Xen ARM multiboot protocol
  3. #
  4. # Copyright (C) 2016, Linaro Ltd. All rights reserved.
  5. #
  6. # SPDX-License-Identifier: BSD-2-Clause-Patent
  7. #
  8. ##
  9. [Defines]
  10. INF_VERSION = 0x00010005
  11. BASE_NAME = XenAcpiPlatformDxe
  12. FILE_GUID = 0efc6282-f1e5-469a-8a70-194a8761f9aa
  13. MODULE_TYPE = DXE_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = XenAcpiPlatformEntryPoint
  16. #
  17. # The following information is for reference only and not required by the build tools.
  18. #
  19. # VALID_ARCHITECTURES = AARCH64
  20. #
  21. [Sources]
  22. XenAcpiPlatformDxe.c
  23. [Packages]
  24. ArmVirtPkg/ArmVirtPkg.dec
  25. MdePkg/MdePkg.dec
  26. MdeModulePkg/MdeModulePkg.dec
  27. [LibraryClasses]
  28. BaseLib
  29. DebugLib
  30. UefiBootServicesTableLib
  31. UefiDriverEntryPoint
  32. [Protocols]
  33. gEfiAcpiTableProtocolGuid ## PROTOCOL ALWAYS_CONSUMED
  34. gFdtClientProtocolGuid ## CONSUMES
  35. [Depex]
  36. gFdtClientProtocolGuid AND
  37. gEfiAcpiTableProtocolGuid