#/* @file\r
-# Copyright (c) 2011-2013, ARM Limited. All rights reserved.\r
+# Copyright (c) 2011-2014, 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
MemoryAllocationLib\r
SerialPortLib\r
PrintLib\r
+ HobLib\r
\r
[Sources.common]\r
RTSMFoundation.c\r
RTSMFoundationMem.c\r
\r
[Sources.AARCH64]\r
- AArch64/RTSMHelper.S | GCC\r
+ AArch64/RTSMHelper.S\r
\r
[FeaturePcd]\r
gEmbeddedTokenSpaceGuid.PcdCacheEnable\r