#/** @file\r
# SEC - Reset vector code that jumps to C and loads DXE core\r
# \r
-# Copyright (c) 2011, ARM Limited. All rights reserved.\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
ArmCpuLib\r
ArmLib\r
ArmPlatformLib\r
+ ArmTrustedMonitorLib\r
BaseLib\r
DebugLib\r
DebugAgentLib\r
gArmTokenSpaceGuid.PcdTrustzoneSupport\r
gArmTokenSpaceGuid.PcdVFPEnabled\r
\r
+ gArmTokenSpaceGuid.PcdArmScr\r
+ gArmTokenSpaceGuid.PcdArmNsacr\r
+ gArmTokenSpaceGuid.PcdArmNonSecModeTransition\r
+ \r
gArmTokenSpaceGuid.PcdArmPrimaryCoreMask\r
gArmTokenSpaceGuid.PcdArmPrimaryCore\r
\r
+ gArmTokenSpaceGuid.PcdSecureFvBaseAddress\r
+ gArmTokenSpaceGuid.PcdSecureFvSize\r
+ \r
gArmTokenSpaceGuid.PcdFvBaseAddress\r
\r
gArmPlatformTokenSpaceGuid.PcdCPUCoresSecStackBase\r