ArmPkg/Drivers/ArmGic/ArmGicLib.inf

   1 #/* @file
   2 #  Copyright (c) 2011-2018, ARM Limited. All rights reserved.
   3 #
   4 #  SPDX-License-Identifier: BSD-2-Clause-Patent
   5 #
   6 #*/
   7
   8 [Defines]
   9   INF_VERSION                    = 0x00010005
  10   BASE_NAME                      = ArmGicLib
  11   FILE_GUID                      = 03d05ee4-cdeb-458c-9dfc-993f09bdf405
  12   MODULE_TYPE                    = SEC
  13   VERSION_STRING                 = 1.0
  14   LIBRARY_CLASS                  = ArmGicLib
  15
  16 [Sources]
  17   ArmGicLib.c
  18   ArmGicNonSecLib.c
  19
  20   GicV2/ArmGicV2Lib.c
  21   GicV2/ArmGicV2NonSecLib.c
  22
  23 [Sources.ARM]
  24   GicV3/Arm/ArmGicV3.S     | GCC
  25   GicV3/Arm/ArmGicV3.asm   | RVCT
  26
  27 [Sources.AARCH64]
  28   GicV3/AArch64/ArmGicV3.S
  29
  30 [LibraryClasses]
  31   ArmLib
  32   DebugLib
  33   IoLib
  34   ArmGicArchLib
  35
  36 [Packages]
  37   ArmPkg/ArmPkg.dec
  38   ArmPlatformPkg/ArmPlatformPkg.dec
  39   MdePkg/MdePkg.dec
  40
  41 [FeaturePcd]
  42   gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy