KvmtoolPlatformDxe.inf 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. ## @file
  2. # The KvmtoolPlatformDxe performs the platform specific initialization like:
  3. # - It decides if the firmware should expose ACPI or Device Tree-based
  4. # hardware description to the operating system.
  5. #
  6. # Copyright (c) 2018 - 2020, ARM Limited. All rights reserved.
  7. #
  8. # SPDX-License-Identifier: BSD-2-Clause-Patent
  9. #
  10. ##
  11. [Defines]
  12. INF_VERSION = 0x0001001B
  13. BASE_NAME = KvmtoolPlatformDxe
  14. FILE_GUID = 7479CCCD-D721-442A-8C73-A72DBB886669
  15. MODULE_TYPE = DXE_DRIVER
  16. VERSION_STRING = 1.0
  17. ENTRY_POINT = KvmtoolPlatformDxeEntryPoint
  18. [Sources]
  19. KvmtoolPlatformDxe.c
  20. [Packages]
  21. OvmfPkg/OvmfPkg.dec
  22. EmbeddedPkg/EmbeddedPkg.dec
  23. MdePkg/MdePkg.dec
  24. MdeModulePkg/MdeModulePkg.dec
  25. [LibraryClasses]
  26. BaseLib
  27. DebugLib
  28. UefiBootServicesTableLib
  29. UefiDriverEntryPoint
  30. [Guids]
  31. gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL
  32. gEdkiiPlatformHasDeviceTreeGuid ## SOMETIMES_PRODUCES ## PROTOCOL
  33. [Pcd]
  34. gUefiOvmfPkgTokenSpaceGuid.PcdForceNoAcpi
  35. [Depex]
  36. TRUE