## @file # High memory node enumeration DXE driver for ARM and RISC-V # Virtual Machines # # Copyright (c) 2015-2016, Linaro Ltd. All rights reserved. # # SPDX-License-Identifier: BSD-2-Clause-Patent # ## [Defines] INF_VERSION = 0x00010005 BASE_NAME = HighMemDxe FILE_GUID = 63EA1463-FBFA-428A-B97F-E222755852D7 MODULE_TYPE = DXE_DRIVER VERSION_STRING = 1.0 ENTRY_POINT = InitializeHighMemDxe [Sources] HighMemDxe.c [Packages] EmbeddedPkg/EmbeddedPkg.dec MdePkg/MdePkg.dec MdeModulePkg/MdeModulePkg.dec OvmfPkg/OvmfPkg.dec [LibraryClasses] BaseLib DebugLib DxeServicesTableLib PcdLib UefiBootServicesTableLib UefiDriverEntryPoint [Protocols] gEfiCpuArchProtocolGuid ## CONSUMES gFdtClientProtocolGuid ## CONSUMES [Pcd] gEfiMdeModulePkgTokenSpaceGuid.PcdDxeNxMemoryProtectionPolicy [Depex] gEfiCpuArchProtocolGuid AND gFdtClientProtocolGuid