| #/* @file | |
| # Copyright (c) 2011-2013, ARM Limited. All rights reserved. | |
| # | |
| # This program and the accompanying materials | |
| # are licensed and made available under the terms and conditions of the BSD License | |
| # which accompanies this distribution. The full text of the license may be found at | |
| # http://opensource.org/licenses/bsd-license.php | |
| # | |
| # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, | |
| # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. | |
| # | |
| #*/ | |
| [Defines] | |
| INF_VERSION = 0x00010005 | |
| BASE_NAME = RTSMArmVExpressFoundationLibSec | |
| FILE_GUID = bc6e6418-0894-11e2-9dc3-1c6f650265cc | |
| MODULE_TYPE = BASE | |
| VERSION_STRING = 1.0 | |
| LIBRARY_CLASS = ArmPlatformLib | |
| [Packages] | |
| MdePkg/MdePkg.dec | |
| MdeModulePkg/MdeModulePkg.dec | |
| EmbeddedPkg/EmbeddedPkg.dec | |
| ArmPkg/ArmPkg.dec | |
| ArmPlatformPkg/ArmPlatformPkg.dec | |
| [LibraryClasses] | |
| IoLib | |
| ArmLib | |
| SerialPortLib | |
| [Sources.common] | |
| RTSMFoundation.c | |
| [Sources.AARCH64] | |
| AArch64/RTSMHelper.S | |
| [FeaturePcd] | |
| gEmbeddedTokenSpaceGuid.PcdCacheEnable | |
| [FixedPcd] | |
| gArmTokenSpaceGuid.PcdSystemMemoryBase | |
| gArmTokenSpaceGuid.PcdSystemMemorySize | |
| gArmTokenSpaceGuid.PcdArmPrimaryCoreMask | |
| gArmTokenSpaceGuid.PcdArmPrimaryCore | |
| gArmPlatformTokenSpaceGuid.PcdCoreCount |