--- /dev/null
+## @file\r
+# \r
+# Copyright (c) 2011, Intel Corporation. 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 = HpetTimerDxe\r
+ FILE_GUID = 6CE6B0DE-781C-4f6c-B42D-98346C614BEC\r
+ MODULE_TYPE = DXE_DRIVER\r
+ VERSION_STRING = 1.0\r
+ ENTRY_POINT = TimerDriverInitialize\r
+\r
+#\r
+# The following information is for reference only and not required by the build tools.\r
+#\r
+# VALID_ARCHITECTURES = IA32 X64 IPF EBC\r
+#\r
+#\r
+\r
+[Sources]\r
+ HpetTimer.c\r
+ \r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ UefiCpuPkg/UefiCpuPkg.dec\r
+ PcAtChipsetPkg/PcAtChipsetPkg.dec\r
+ \r
+[LibraryClasses]\r
+ PcdLib\r
+ IoLib\r
+ DebugLib\r
+ UefiDriverEntryPoint\r
+ UefiBootServicesTableLib\r
+ BaseLib\r
+ LocalApicLib\r
+ IoApicLib\r
+\r
+[Protocols]\r
+ gEfiTimerArchProtocolGuid # PROTOCOL ALWAYS_PRODUCED\r
+ gEfiCpuArchProtocolGuid # PROTOCOL ALWAYS_CONSUMED\r
+\r
+[FeaturePcd]\r
+ gPcAtChipsetPkgTokenSpaceGuid.PcdHpetMsiEnable\r
+ \r
+[Pcd]\r
+ gPcAtChipsetPkgTokenSpaceGuid.PcdHpetBaseAddress\r
+ gPcAtChipsetPkgTokenSpaceGuid.PcdHpetLocalApicVector\r
+ gPcAtChipsetPkgTokenSpaceGuid.PcdHpetDefaultTimerPeriod\r
+\r
+[Depex]\r
+ gEfiCpuArchProtocolGuid\r