ArmPkg/Drivers/ArmGic/ArmGicSecLib.inf

   1 #/* @file
   2 #  Copyright (c) 2011-2015, ARM Limited. All rights reserved.
   3 #
   4 #  This program and the accompanying materials
   5 #  are licensed and made available under the terms and conditions of the BSD License
   6 #  which accompanies this distribution.  The full text of the license may be found at
   7 #  http://opensource.org/licenses/bsd-license.php
   8 #
   9 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11 #
  12 #*/
  13
  14 [Defines]
  15   INF_VERSION                    = 0x00010005
  16   BASE_NAME                      = ArmGicSecLib
  17   FILE_GUID                      = 85f3cf80-b5f4-11df-9855-0002a5d5c51b
  18   MODULE_TYPE                    = SEC
  19   VERSION_STRING                 = 1.0
  20   LIBRARY_CLASS                  = ArmGicLib
  21
  22 [Sources]
  23   ArmGicLib.c
  24   ArmGicSecLib.c
  25
  26   GicV2/ArmGicV2Lib.c
  27   GicV2/ArmGicV2SecLib.c
  28
  29 [Sources.ARM]
  30   GicV3/Arm/ArmGicV3.S     | GCC
  31   GicV3/Arm/ArmGicV3.asm   | RVCT
  32
  33 [Sources.AARCH64]
  34   GicV3/AArch64/ArmGicV3.S
  35
  36 [Packages]
  37   ArmPkg/ArmPkg.dec
  38   ArmPlatformPkg/ArmPlatformPkg.dec
  39   MdePkg/MdePkg.dec
  40   MdeModulePkg/MdeModulePkg.dec
  41
  42 [LibraryClasses]
  43   ArmLib
  44   DebugLib
  45   IoLib
  46   ArmGicArchLib
  47
  48 [Pcd]
  49   gArmPlatformTokenSpaceGuid.PcdCoreCount
  50
  51 [FeaturePcd]
  52   gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy