Home | History | Annotate | Download | only in HighMemDxe 
      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