PcAtChipsetPkg/8254TimerDxe/8254Timer.inf

   1 ## @file
   2 # 8254 timer driver that provides Timer Arch protocol.
   3 #
   4 # Copyright (c) 2005 - 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                      = Timer
  12   MODULE_UNI_FILE                = Timer.uni
  13   FILE_GUID                      = f2765dec-6b41-11d5-8e71-00902707b35e
  14   MODULE_TYPE                    = DXE_DRIVER
  15   VERSION_STRING                 = 1.0
  16
  17   ENTRY_POINT                    = TimerDriverInitialize
  18
  19 [Packages]
  20   MdePkg/MdePkg.dec
  21   IntelFrameworkPkg/IntelFrameworkPkg.dec
  22
  23 [LibraryClasses]
  24   UefiBootServicesTableLib
  25   BaseLib
  26   DebugLib
  27   UefiDriverEntryPoint
  28   IoLib
  29
  30 [Sources]
  31   Timer.h
  32   Timer.c
  33
  34 [Protocols]
  35   gEfiCpuArchProtocolGuid       ## CONSUMES
  36   gEfiLegacy8259ProtocolGuid    ## CONSUMES
  37   gEfiTimerArchProtocolGuid     ## PRODUCES
  38
  39 [Depex]
  40   gEfiCpuArchProtocolGuid AND gEfiLegacy8259ProtocolGuid
  41 [UserExtensions.TianoCore."ExtraFiles"]
  42   TimerExtra.uni