2 # High memory node enumeration DXE driver for ARM Virtual Machines
4 # Copyright (c) 2015-2016, Linaro Ltd. All rights reserved.
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = HighMemDxe
13 FILE_GUID = 63EA1463-FBFA-428A-B97F-E222755852D7
14 MODULE_TYPE = DXE_DRIVER
17 ENTRY_POINT = InitializeHighMemDxe
24 MdeModulePkg/MdeModulePkg.dec
26 ArmVirtPkg/ArmVirtPkg.dec
33 UefiBootServicesTableLib
37 gEfiCpuArchProtocolGuid ## CONSUMES
38 gFdtClientProtocolGuid ## CONSUMES
41 gEfiMdeModulePkgTokenSpaceGuid.PcdDxeNxMemoryProtectionPolicy
44 gEfiCpuArchProtocolGuid AND gFdtClientProtocolGuid