--- /dev/null
+#/* @file\r
+# Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
+# \r
+# This program and the accompanying materials \r
+# are licensed and made available under the terms and conditions of the BSD License \r
+# which accompanies this distribution. The full text of the license may be found at \r
+# http://opensource.org/licenses/bsd-license.php \r
+#\r
+# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
+# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r
+#\r
+#*/\r
+\r
+[Defines]\r
+ INF_VERSION = 0x00010005\r
+ BASE_NAME = CTA9x4ArmVExpressLib\r
+ FILE_GUID = aac05341-56df-4a77-b20f-f5daa456bd90\r
+ MODULE_TYPE = BASE\r
+ VERSION_STRING = 1.0\r
+ LIBRARY_CLASS = ArmPlatformSecLib\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ MdeModulePkg/MdeModulePkg.dec\r
+ EmbeddedPkg/EmbeddedPkg.dec\r
+ ArmPkg/ArmPkg.dec\r
+ ArmPlatformPkg/ArmPlatformPkg.dec\r
+\r
+[LibraryClasses]\r
+ ArmLib\r
+ ArmTrustZoneLib\r
+ ArmPlatformLib\r
+ ArmPlatformSysConfigLib\r
+ ArmPlatformSecExtraActionLib\r
+ IoLib\r
+ L2X0CacheLib\r
+ PL301AxiLib\r
+ PL341DmcLib\r
+ PL35xSmcLib\r
+ SerialPortLib\r
+\r
+[Sources.common]\r
+ CTA9x4Sec.c\r
+ CTA9x4Boot.asm | RVCT\r
+ CTA9x4Boot.S | GCC\r
+\r
+[FeaturePcd]\r
+ gEmbeddedTokenSpaceGuid.PcdCacheEnable\r
+ gArmPlatformTokenSpaceGuid.PcdNorFlashRemapping\r
+ gArmPlatformTokenSpaceGuid.PcdStandalone\r
+ gArmPlatformTokenSpaceGuid.PcdSystemMemoryInitializeInSec\r
+\r
+[FixedPcd]\r
+ gArmTokenSpaceGuid.PcdTrustzoneSupport\r
+\r
+ gArmTokenSpaceGuid.PcdL2x0ControllerBase\r
+\r
+ gArmTokenSpaceGuid.PcdArmPrimaryCoreMask\r
+ gArmTokenSpaceGuid.PcdArmPrimaryCore\r