2 # 8254 timer driver that provides Timer Arch protocol.
4 # Copyright (c) 2005 - 2019, Intel Corporation. All rights reserved.<BR>
5 # SPDX-License-Identifier: BSD-2-Clause-Patent
10 INF_VERSION = 0x00010005
12 MODULE_UNI_FILE = Timer.uni
13 FILE_GUID = C190FE35-44AA-41A1-8AEA-4947BC60E09D
14 MODULE_TYPE = DXE_DRIVER
17 ENTRY_POINT = TimerDriverInitialize
24 UefiBootServicesTableLib
35 gEfiCpuArchProtocolGuid ## CONSUMES
36 gEfiLegacy8259ProtocolGuid ## CONSUMES
37 gEfiTimerArchProtocolGuid ## PRODUCES
40 gEfiCpuArchProtocolGuid AND gEfiLegacy8259ProtocolGuid
41 [UserExtensions.TianoCore."ExtraFiles"]