ArmPkg/Drivers/ArmGic/ArmGicDxe.inf

   1 #/** @file
   2 #
   3 #  Copyright (c) 2008 - 2010, Apple Inc. All rights reserved.<BR>
   4 #  Copyright (c) 2012 - 2017, ARM Ltd. All rights reserved.<BR>
   5 #
   6 #  SPDX-License-Identifier: BSD-2-Clause-Patent
   7 #
   8 #**/
   9
  10 [Defines]
  11   INF_VERSION                    = 0x00010005
  12   BASE_NAME                      = ArmGicDxe
  13   FILE_GUID                      = DE371F7C-DEC4-4D21-ADF1-593ABCC15882
  14   MODULE_TYPE                    = DXE_DRIVER
  15   VERSION_STRING                 = 1.0
  16
  17   ENTRY_POINT                    = InterruptDxeInitialize
  18
  19 [Sources.common]
  20   ArmGicDxe.h
  21   ArmGicDxe.c
  22   ArmGicCommonDxe.c
  23
  24   GicV2/ArmGicV2Dxe.c
  25   GicV3/ArmGicV3Dxe.c
  26
  27 [Packages]
  28   MdePkg/MdePkg.dec
  29   EmbeddedPkg/EmbeddedPkg.dec
  30   ArmPkg/ArmPkg.dec
  31
  32 [LibraryClasses]
  33   ArmGicLib
  34   BaseLib
  35   UefiLib
  36   UefiBootServicesTableLib
  37   DebugLib
  38   PrintLib
  39   MemoryAllocationLib
  40   UefiDriverEntryPoint
  41   IoLib
  42   PcdLib
  43   UefiLib
  44
  45 [Protocols]
  46   gHardwareInterruptProtocolGuid  ## PRODUCES
  47   gHardwareInterrupt2ProtocolGuid ## PRODUCES
  48   gEfiCpuArchProtocolGuid         ## CONSUMES ## NOTIFY
  49
  50 [Pcd.common]
  51   gArmTokenSpaceGuid.PcdGicDistributorBase
  52   gArmTokenSpaceGuid.PcdGicRedistributorsBase
  53   gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
  54   gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy
  55
  56 [Depex]
  57   TRUE