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.c
  21   ArmGicCommonDxe.c
  22
  23   GicV2/ArmGicV2Dxe.c
  24   GicV3/ArmGicV3Dxe.c
  25
  26 [Packages]
  27   MdePkg/MdePkg.dec
  28   EmbeddedPkg/EmbeddedPkg.dec
  29   ArmPkg/ArmPkg.dec
  30
  31 [LibraryClasses]
  32   ArmGicLib
  33   BaseLib
  34   UefiLib
  35   UefiBootServicesTableLib
  36   DebugLib
  37   PrintLib
  38   MemoryAllocationLib
  39   UefiDriverEntryPoint
  40   IoLib
  41   PcdLib
  42   UefiLib
  43
  44 [Protocols]
  45   gHardwareInterruptProtocolGuid  ## PRODUCES
  46   gHardwareInterrupt2ProtocolGuid ## PRODUCES
  47   gEfiCpuArchProtocolGuid         ## CONSUMES ## NOTIFY
  48
  49 [Pcd.common]
  50   gArmTokenSpaceGuid.PcdGicDistributorBase
  51   gArmTokenSpaceGuid.PcdGicRedistributorsBase
  52   gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
  53   gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy
  54
  55 [Depex]
  56   TRUE