#/* @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
ArmPkg/ArmPkg.dec\r
\r
[LibraryClasses]\r
- ArmLib\r
- IoLib\r
+ ArmGenericTimerCounterLib\r
PcdLib\r
\r
[Sources.common]\r
ArmCortexAEMv8Lib.c\r
\r
[FixedPcd]\r
- gArmTokenSpaceGuid.PcdArmPrimaryCoreMask\r
- gArmTokenSpaceGuid.PcdArmPrimaryCore\r
-\r
gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz\r