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