1#/* @file 2# Copyright (c) 2011-2013, 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 = RTSMArmVExpressSecLib 17 FILE_GUID = 1fdaabb0-ab7d-480c-91ff-428dc1546f3a 18 MODULE_TYPE = BASE 19 VERSION_STRING = 1.0 20 LIBRARY_CLASS = ArmPlatformSecLib 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 RTSMSec.c 36 37[Sources.ARM] 38 Arm/RTSMBoot.asm | RVCT 39 Arm/RTSMBoot.S | GCC 40 Arm/GicV3.asm | RVCT 41 Arm/GicV3.S | GCC 42 43[Sources.AARCH64] 44 AArch64/RTSMBoot.S 45 AArch64/GicV3.S 46 47[FixedPcd] 48 gArmTokenSpaceGuid.PcdFvBaseAddress 49 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase 50