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
23 EmbeddedPkg/EmbeddedPkg.dec
25 MdeModulePkg/MdeModulePkg.dec
27 ArmVirtPkg/ArmVirtPkg.dec
34 UefiBootServicesTableLib
38 gEfiCpuArchProtocolGuid ## CONSUMES
39 gFdtClientProtocolGuid ## CONSUMES
42 gEfiMdeModulePkgTokenSpaceGuid.PcdDxeNxMemoryProtectionPolicy
45 gEfiCpuArchProtocolGuid AND gFdtClientProtocolGuid