PcAtChipsetPkg/HpetTimerDxe/HpetTimerDxe.inf

   1 ## @file
   2 # Timer Architectural Protocol module using High Precision Event Timer (HPET).
   3 #
   4 # Copyright (c) 2011 - 2018, Intel Corporation. All rights reserved.<BR>
   5 # SPDX-License-Identifier: BSD-2-Clause-Patent
   6 #
   7 ##
   8
   9 [Defines]
  10   INF_VERSION                    = 0x00010005
  11   BASE_NAME                      = HpetTimerDxe
  12   MODULE_UNI_FILE                = HpetTimerDxe.uni
  13   FILE_GUID                      = 6CE6B0DE-781C-4f6c-B42D-98346C614BEC
  14   MODULE_TYPE                    = DXE_DRIVER
  15   VERSION_STRING                 = 1.0
  16   ENTRY_POINT                    = TimerDriverInitialize
  17
  18 #
  19 # The following information is for reference only and not required by the build tools.
  20 #
  21 #  VALID_ARCHITECTURES           = IA32 X64 EBC
  22 #
  23 #
  24
  25 [Sources]
  26   HpetTimer.c
  27
  28 [Packages]
  29   MdePkg/MdePkg.dec
  30   UefiCpuPkg/UefiCpuPkg.dec
  31   PcAtChipsetPkg/PcAtChipsetPkg.dec
  32
  33 [LibraryClasses]
  34   PcdLib
  35   IoLib
  36   DebugLib
  37   UefiDriverEntryPoint
  38   UefiBootServicesTableLib
  39   BaseLib
  40   LocalApicLib
  41   IoApicLib
  42
  43 [Protocols]
  44   gEfiTimerArchProtocolGuid                     ## PRODUCES
  45   gEfiCpuArchProtocolGuid                       ## CONSUMES
  46
  47 [FeaturePcd]
  48   gPcAtChipsetPkgTokenSpaceGuid.PcdHpetMsiEnable    ## CONSUMES
  49
  50 [Pcd]
  51   gPcAtChipsetPkgTokenSpaceGuid.PcdHpetBaseAddress          ## CONSUMES
  52   gPcAtChipsetPkgTokenSpaceGuid.PcdHpetLocalApicVector      ## CONSUMES
  53   gPcAtChipsetPkgTokenSpaceGuid.PcdHpetDefaultTimerPeriod   ## CONSUMES
  54
  55 [Depex]
  56   gEfiCpuArchProtocolGuid
  57 [UserExtensions.TianoCore."ExtraFiles"]
  58   HpetTimerDxeExtra.uni