#/** @file\r
#\r
-# Copyright (c) 2011-2012, ARM Limited. All rights reserved.<BR>\r
+# Copyright (c) 2011 - 2014, ARM Limited. All rights reserved.<BR>\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
EmbeddedPkg/EmbeddedPkg.dec\r
ArmPkg/ArmPkg.dec\r
\r
-\r
[LibraryClasses]\r
DebugLib\r
- IoLib\r
ArmLib\r
BaseLib\r
-\r
-[Protocols]\r
-\r
-[Guids]\r
+ ArmGenericTimerCounterLib\r
\r
[Pcd]\r
gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz\r
-\r
-[Depex]\r
- gEfiCpuArchProtocolGuid\r