ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressLibRTSM/ArmVExpressLibSec.inf

   1 #/* @file
   2 #  Copyright (c) 2011-2012, 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                      = RTSMArmVExpressLibSec
  17   FILE_GUID                      = a79eed97-4b98-4974-9690-37b32d6a5b56
  18   MODULE_TYPE                    = BASE
  19   VERSION_STRING                 = 1.0
  20   LIBRARY_CLASS                  = ArmPlatformLib
  21
  22 [Packages]
  23   MdePkg/MdePkg.dec
  24   MdeModulePkg/MdeModulePkg.dec
  25   EmbeddedPkg/EmbeddedPkg.dec
  26   ArmPkg/ArmPkg.dec
  27   ArmPlatformPkg/ArmPlatformPkg.dec
  28
  29 [LibraryClasses]
  30   IoLib
  31   ArmLib
  32   SerialPortLib
  33
  34 [Sources.common]
  35   RTSM.c
  36
  37 [Sources.ARM]
  38   Arm/RTSMHelper.asm    | RVCT
  39   Arm/RTSMHelper.S      | GCC
  40
  41 [Sources.AARCH64]
  42   AArch64/RTSMHelper.S
  43
  44 [FeaturePcd]
  45   gEmbeddedTokenSpaceGuid.PcdCacheEnable
  46   gArmPlatformTokenSpaceGuid.PcdNorFlashRemapping
  47
  48 [FixedPcd]
  49   gArmTokenSpaceGuid.PcdSystemMemoryBase
  50   gArmTokenSpaceGuid.PcdSystemMemorySize
  51   gArmTokenSpaceGuid.PcdFvBaseAddress
  52
  53   gArmTokenSpaceGuid.PcdArmPrimaryCoreMask
  54   gArmTokenSpaceGuid.PcdArmPrimaryCore
  55
  56   gArmPlatformTokenSpaceGuid.PcdCoreCount
  57
  58 [Ppis]
  59   gArmMpCoreInfoPpiGuid