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# This program and the accompanying materials are licensed and made available 7# under the terms and conditions of the BSD License which accompanies this 8# distribution. The full text of the license may be found at 9# http://opensource.org/licenses/bsd-license.php 10# 11# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 12# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 13# IMPLIED. 14# 15## 16 17[Defines] 18 INF_VERSION = 0x00010005 19 BASE_NAME = HighMemDxe 20 FILE_GUID = 63EA1463-FBFA-428A-B97F-E222755852D7 21 MODULE_TYPE = DXE_DRIVER 22 VERSION_STRING = 1.0 23 24 ENTRY_POINT = InitializeHighMemDxe 25 26[Sources] 27 HighMemDxe.c 28 29[Packages] 30 MdePkg/MdePkg.dec 31 MdeModulePkg/MdeModulePkg.dec 32 ArmPkg/ArmPkg.dec 33 ArmVirtPkg/ArmVirtPkg.dec 34 35[LibraryClasses] 36 BaseLib 37 DebugLib 38 DxeServicesTableLib 39 PcdLib 40 UefiBootServicesTableLib 41 UefiDriverEntryPoint 42 43[Protocols] 44 gFdtClientProtocolGuid ## CONSUMES 45 46[Pcd] 47 gArmTokenSpaceGuid.PcdSystemMemoryBase 48 49[Depex] 50 gEfiCpuArchProtocolGuid AND gFdtClientProtocolGuid 51