OvmfPkg/8254TimerDxe/8254Timer.inf

   1 ## @file
   2 # 8254 timer driver that provides Timer Arch protocol.
   3 #
   4 # Copyright (c) 2005 - 2019, 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                      = C190FE35-44AA-41A1-8AEA-4947BC60E09D
  14   MODULE_TYPE                    = DXE_DRIVER
  15   VERSION_STRING                 = 1.0
  16
  17   ENTRY_POINT                    = TimerDriverInitialize
  18
  19 [Packages]
  20   MdePkg/MdePkg.dec
  21   OvmfPkg/OvmfPkg.dec
  22
  23 [LibraryClasses]
  24   UefiBootServicesTableLib
  25   BaseLib
  26   DebugLib
  27   NestedInterruptTplLib
  28   UefiDriverEntryPoint
  29   IoLib
  30
  31 [Sources]
  32   Timer.h
  33   Timer.c
  34
  35 [Protocols]
  36   gEfiCpuArchProtocolGuid       ## CONSUMES
  37   gEfiLegacy8259ProtocolGuid    ## CONSUMES
  38   gEfiTimerArchProtocolGuid     ## PRODUCES
  39
  40 [Depex]
  41   gEfiCpuArchProtocolGuid AND gEfiLegacy8259ProtocolGuid
  42 [UserExtensions.TianoCore."ExtraFiles"]
  43   TimerExtra.uni