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 #  This program and the accompanying materials
   7 #  are licensed and made available under the terms and conditions of the BSD License
   8 #  which accompanies this 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 IMPLIED.
  13 #
  14 #**/
  15
  16 [Defines]
  17   INF_VERSION                    = 0x00010005
  18   BASE_NAME                      = ArmGicDxe
  19   FILE_GUID                      = DE371F7C-DEC4-4D21-ADF1-593ABCC15882 # gArmGicDxeFileGuid
  20   MODULE_TYPE                    = DXE_DRIVER
  21   VERSION_STRING                 = 1.0
  22
  23   ENTRY_POINT                    = InterruptDxeInitialize
  24
  25 [Sources.common]
  26   ArmGicDxe.c
  27   ArmGicCommonDxe.c
  28
  29   GicV2/ArmGicV2Dxe.c
  30   GicV3/ArmGicV3Dxe.c
  31
  32 [Packages]
  33   MdePkg/MdePkg.dec
  34   EmbeddedPkg/EmbeddedPkg.dec
  35   ArmPkg/ArmPkg.dec
  36
  37 [LibraryClasses]
  38   ArmGicLib
  39   BaseLib
  40   UefiLib
  41   UefiBootServicesTableLib
  42   DebugLib
  43   PrintLib
  44   MemoryAllocationLib
  45   UefiDriverEntryPoint
  46   IoLib
  47   PcdLib
  48   UefiLib
  49
  50 [Protocols]
  51   gHardwareInterruptProtocolGuid
  52   gHardwareInterrupt2ProtocolGuid
  53   gEfiCpuArchProtocolGuid
  54
  55 [Pcd.common]
  56   gArmTokenSpaceGuid.PcdGicDistributorBase
  57   gArmTokenSpaceGuid.PcdGicRedistributorsBase
  58   gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
  59   gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy
  60
  61 [Depex]
  62   TRUE