--- /dev/null
+## @file\r
+# Dxe Timer Library which uses the Time Stamp Counter in the processor.\r
+#\r
+# A version of the Timer Library using the processor's TSC.\r
+# The time stamp counter in newer processors may support an enhancement, referred to as invariant TSC.\r
+# The invariant TSC runs at a constant rate in all ACPI P-, C-. and T-states.\r
+# This is the architectural behavior moving forward.\r
+# TSC reads are much more efficient and do not incur the overhead associated with a ring transition or\r
+# access to a platform resource.\r
+#\r
+# Copyright (c) 2009 - 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
+# 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 = DxeTscTimerLib\r
+ FILE_GUID = 95ab030f-b4fd-4ee4-92a5-9e04e87634d9\r
+ MODULE_TYPE = DXE_DRIVER\r
+ VERSION_STRING = 1.0\r
+ LIBRARY_CLASS = TimerLib|DXE_CORE DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER UEFI_APPLICATION UEFI_DRIVER SMM_CORE\r
+\r
+ CONSTRUCTOR = DxeTscTimerLibConstructor\r
+\r
+\r
+#\r
+# VALID_ARCHITECTURES = IA32 X64\r
+#\r
+\r
+[Sources.common]\r
+ TscTimerLibShare.c\r
+ DxeTscTimerLib.c\r
+\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ PerformancePkg/PerformancePkg.dec\r
+\r
+\r
+[LibraryClasses]\r
+ UefiBootServicesTableLib\r
+ PcdLib\r
+ PciLib\r
+ IoLib\r
+ BaseLib\r
+ UefiLib\r
+ DebugLib\r
+\r
+[Guids]\r
+ gEfiTscFrequencyGuid ## CONSUMES ## System Configuration Table\r
+\r
+[Pcd.common]\r
+ gPerformancePkgTokenSpaceGuid.PcdPerfPkgAcpiIoPortBaseAddress\r