1## @file
2# 8254 timer driver that provides Timer Arch protocol.
3#
4# Copyright (c) 2005 - 2014, 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
49