--- /dev/null
+#/** @file\r
+# \r
+# Copyright (c) 2011, 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
+# http://opensource.org/licenses/bsd-license.php\r
+# \r
+# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+# \r
+#**/\r
+\r
+[Defines]\r
+ INF_VERSION = 0x00010005\r
+ BASE_NAME = ArmArchTimerLib\r
+ FILE_GUID = 82da1b44-d2d6-4a7d-bbf0-a0cb67964034\r
+ MODULE_TYPE = BASE\r
+ VERSION_STRING = 1.0\r
+ LIBRARY_CLASS = TimerLib \r
+ CONSTRUCTOR = ArmArchTimerLibConstructor\r
+\r
+[Sources.common]\r
+ ArmArchTimerLib.c\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\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
+ \r
+[Pcd]\r
+ gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz\r
+\r
+[Depex]\r
+ gEfiCpuArchProtocolGuid\r