1/** @file
2*
3*  Copyright (c) 2011-2012, ARM Limited. All rights reserved.
4*
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                      = SP805WatchdogDxe
18  FILE_GUID                      = ebd705fb-fa92-46a7-b32b-7f566d944614
19  MODULE_TYPE                    = DXE_DRIVER
20  VERSION_STRING                 = 1.0
21
22  ENTRY_POINT                    = SP805Initialize
23
24[Sources.common]
25  SP805Watchdog.c
26
27[Packages]
28  MdePkg/MdePkg.dec
29  EmbeddedPkg/EmbeddedPkg.dec
30  ArmPkg/ArmPkg.dec
31  ArmPlatformPkg/ArmPlatformPkg.dec
32
33[LibraryClasses]
34  BaseLib
35  BaseMemoryLib
36  DebugLib
37  IoLib
38  PcdLib
39  UefiLib
40  UefiBootServicesTableLib
41  UefiDriverEntryPoint
42  UefiRuntimeServicesTableLib
43
44[Pcd]
45  gArmPlatformTokenSpaceGuid.PcdSP805WatchdogBase
46  gArmPlatformTokenSpaceGuid.PcdSP805WatchdogClockFrequencyInHz
47
48[Protocols]
49  gEfiWatchdogTimerArchProtocolGuid
50
51[Depex]
52  TRUE
53