[Defines]
  INF_VERSION = 0x0001001B
  BASE_NAME   = TscFix
  FILE_GUID   = 45766765-6E79-204C-6170-696B20545343
  MODULE_TYPE = DXE_DRIVER
  ENTRY_POINT = ModuleEntryPoint

[Sources]
  TscFix.c

[Packages]
  MdePkg/MdePkg.dec

[LibraryClasses]
  UefiDriverEntryPoint
  UefiBootServicesTableLib
  BaseLib
  UefiLib
  IoLib

[Protocols]
  gEfiMpServiceProtocolGuid

[Depex]
  gEfiCpuArchProtocolGuid AND
  gEfiMpServiceProtocolGuid