PcAtChipsetPkg/HpetTimerDxe/HpetTimerDxe.inf

   1 ## @file
   2 #
   3 # Copyright (c) 2011, Intel Corporation. All rights reserved.<BR>
   4 # This program and the accompanying materials
   5 # are licensed and made available under the terms and conditions of the BSD License
   6 # which accompanies this distribution.  The full text of the license may be found at
   7 # http://opensource.org/licenses/bsd-license.php
   8 #
   9 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11 #
  12 ##
  13
  14 [Defines]
  15   INF_VERSION                    = 0x00010005
  16   BASE_NAME                      = HpetTimerDxe
  17   FILE_GUID                      = 6CE6B0DE-781C-4f6c-B42D-98346C614BEC
  18   MODULE_TYPE                    = DXE_DRIVER
  19   VERSION_STRING                 = 1.0
  20   ENTRY_POINT                    = TimerDriverInitialize
  21
  22 #
  23 # The following information is for reference only and not required by the build tools.
  24 #
  25 #  VALID_ARCHITECTURES           = IA32 X64 IPF EBC
  26 #
  27 #
  28
  29 [Sources]
  30   HpetTimer.c
  31
  32 [Packages]
  33   MdePkg/MdePkg.dec
  34   UefiCpuPkg/UefiCpuPkg.dec
  35   PcAtChipsetPkg/PcAtChipsetPkg.dec
  36
  37 [LibraryClasses]
  38   PcdLib
  39   IoLib
  40   DebugLib
  41   UefiDriverEntryPoint
  42   UefiBootServicesTableLib
  43   BaseLib
  44   LocalApicLib
  45   IoApicLib
  46
  47 [Protocols]
  48   gEfiTimerArchProtocolGuid                     # PROTOCOL ALWAYS_PRODUCED
  49   gEfiCpuArchProtocolGuid                       # PROTOCOL ALWAYS_CONSUMED
  50
  51 [FeaturePcd]
  52   gPcAtChipsetPkgTokenSpaceGuid.PcdHpetMsiEnable
  53
  54 [Pcd]
  55   gPcAtChipsetPkgTokenSpaceGuid.PcdHpetBaseAddress
  56   gPcAtChipsetPkgTokenSpaceGuid.PcdHpetLocalApicVector
  57   gPcAtChipsetPkgTokenSpaceGuid.PcdHpetDefaultTimerPeriod
  58
  59 [Depex]
  60   gEfiCpuArchProtocolGuid