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 # This program and the accompanying materials
   6 # are licensed and made available under the terms and conditions of the BSD License
   7 # which accompanies this distribution.  The full text of the license may be found at
   8 # http://opensource.org/licenses/bsd-license.php
   9 #
  10 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12 #
  13 ##
  14
  15 [Defines]
  16   INF_VERSION                    = 0x00010005
  17   BASE_NAME                      = Timer
  18   MODULE_UNI_FILE                = Timer.uni
  19   FILE_GUID                      = f2765dec-6b41-11d5-8e71-00902707b35e
  20   MODULE_TYPE                    = DXE_DRIVER
  21   VERSION_STRING                 = 1.0
  22
  23   ENTRY_POINT                    = TimerDriverInitialize
  24
  25 [Packages]
  26   MdePkg/MdePkg.dec
  27   IntelFrameworkPkg/IntelFrameworkPkg.dec
  28
  29 [LibraryClasses]
  30   UefiBootServicesTableLib
  31   BaseLib
  32   DebugLib
  33   UefiDriverEntryPoint
  34   IoLib
  35
  36 [Sources]
  37   Timer.h
  38   Timer.c
  39
  40 [Protocols]
  41   gEfiCpuArchProtocolGuid       ## CONSUMES
  42   gEfiLegacy8259ProtocolGuid    ## CONSUMES
  43   gEfiTimerArchProtocolGuid     ## PRODUCES
  44
  45 [Depex]
  46   gEfiCpuArchProtocolGuid AND gEfiLegacy8259ProtocolGuid
  47 [UserExtensions.TianoCore."ExtraFiles"]
  48   TimerExtra.uni