#/** @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