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