1## @file
2# Generic watchdog timer driver producing Watchdog Timer Architectural Protocol using UEFI APIs.
3#
4# Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>
5#
6#  SPDX-License-Identifier: BSD-2-Clause-Patent
7#
8#
9##
10
11[Defines]
12  INF_VERSION                    = 0x00010005
13  BASE_NAME                      = WatchdogTimer
14  MODULE_UNI_FILE                = WatchdogTimer.uni
15  FILE_GUID                      = F099D67F-71AE-4c36-B2A3-DCEB0EB2B7D8
16  MODULE_TYPE                    = DXE_DRIVER
17  VERSION_STRING                 = 1.0
18  ENTRY_POINT                    = WatchdogTimerDriverInitialize
19
20#
21# The following information is for reference only and not required by the build tools.
22#
23#  VALID_ARCHITECTURES           = IA32 X64 EBC
24#
25
26[Packages]
27  MdePkg/MdePkg.dec
28
29[Sources]
30  WatchdogTimer.h
31  WatchdogTimer.c
32
33[LibraryClasses]
34  UefiRuntimeServicesTableLib
35  UefiBootServicesTableLib
36  ReportStatusCodeLib
37  UefiDriverEntryPoint
38  DebugLib
39
40[Protocols]
41  gEfiWatchdogTimerArchProtocolGuid             ## PRODUCES
42
43[Depex]
44  gEfiTimerArchProtocolGuid
45
46# [Event]
47# EVENT_TYPE_RELATIVE_TIMER ## CONSUMES
48#
49
50[UserExtensions.TianoCore."ExtraFiles"]
51  WatchdogTimerExtra.uni
52