HighMemDxe.inf 1.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. ## @file
  2. # High memory node enumeration DXE driver for ARM Virtual Machines
  3. #
  4. # Copyright (c) 2015-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 = HighMemDxe
  12. FILE_GUID = 63EA1463-FBFA-428A-B97F-E222755852D7
  13. MODULE_TYPE = DXE_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = InitializeHighMemDxe
  16. [Sources]
  17. HighMemDxe.c
  18. [Packages]
  19. MdePkg/MdePkg.dec
  20. MdeModulePkg/MdeModulePkg.dec
  21. ArmPkg/ArmPkg.dec
  22. ArmVirtPkg/ArmVirtPkg.dec
  23. [LibraryClasses]
  24. BaseLib
  25. DebugLib
  26. DxeServicesTableLib
  27. PcdLib
  28. UefiBootServicesTableLib
  29. UefiDriverEntryPoint
  30. [Protocols]
  31. gEfiCpuArchProtocolGuid ## CONSUMES
  32. gFdtClientProtocolGuid ## CONSUMES
  33. [Pcd]
  34. gEfiMdeModulePkgTokenSpaceGuid.PcdDxeNxMemoryProtectionPolicy
  35. [Depex]
  36. gEfiCpuArchProtocolGuid AND gFdtClientProtocolGuid