2 # 8254 timer driver that provides Timer Arch protocol.
4 # Copyright (c) 2005 - 2018, 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 = f2765dec-6b41-11d5-8e71-00902707b35e
14 MODULE_TYPE = DXE_DRIVER
17 ENTRY_POINT = TimerDriverInitialize
21 IntelFrameworkPkg/IntelFrameworkPkg.dec
24 UefiBootServicesTableLib
35 gEfiCpuArchProtocolGuid ## CONSUMES
36 gEfiLegacy8259ProtocolGuid ## CONSUMES
37 gEfiTimerArchProtocolGuid ## PRODUCES
40 gEfiCpuArchProtocolGuid AND gEfiLegacy8259ProtocolGuid
41 [UserExtensions.TianoCore."ExtraFiles"]