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
  26 [Sources.AARCH64]
  27   GicV3/AArch64/ArmGicV3.S
  28
  29 [LibraryClasses]
  30   ArmLib
  31   DebugLib
  32   IoLib
  33   ArmGicArchLib
  34
  35 [Packages]
  36   ArmPkg/ArmPkg.dec
  37   ArmPlatformPkg/ArmPlatformPkg.dec
  38   MdePkg/MdePkg.dec
  39
  40 [FeaturePcd]
  41   gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy