1 #/* @file 2 # Copyright (c) 2011-2014, 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 = RTSMArmVExpressLib 17 FILE_GUID = b98a6cb7-d472-4128-ad62-a7347f85ce13 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 MemoryAllocationLib 33 SerialPortLib 34 HobLib 35 36 [Sources.common] 37 RTSM.c 38 RTSMMem.c 39 40 [Sources.ARM] 41 Arm/RTSMHelper.asm | RVCT 42 Arm/RTSMHelper.S | GCC 43 44 [Sources.AARCH64] 45 AArch64/RTSMHelper.S 46 47 [FeaturePcd] 48 gEmbeddedTokenSpaceGuid.PcdCacheEnable 49 gArmPlatformTokenSpaceGuid.PcdNorFlashRemapping 50 51 [FixedPcd] 52 gArmTokenSpaceGuid.PcdSystemMemoryBase 53 gArmTokenSpaceGuid.PcdSystemMemorySize 54 gArmTokenSpaceGuid.PcdFvBaseAddress 55 56 gArmTokenSpaceGuid.PcdArmPrimaryCoreMask 57 gArmTokenSpaceGuid.PcdArmPrimaryCore 58 59 gArmPlatformTokenSpaceGuid.PcdCoreCount 60 61 [Ppis] 62 gArmMpCoreInfoPpiGuid 63