33e7c2ab |
1 | /** @file |
2 | * |
e28e0ad9 |
3 | * Copyright (c) 2011-2012, ARM Limited. All rights reserved. |
33e7c2ab |
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 | |
e28e0ad9 |
22 | ENTRY_POINT = SP805Initialize |
33e7c2ab |
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 |
33e7c2ab |
35 | BaseMemoryLib |
36 | DebugLib |
33e7c2ab |
37 | IoLib |
5cc45b70 |
38 | PcdLib |
39 | UefiLib |
40 | UefiBootServicesTableLib |
41 | UefiDriverEntryPoint |
42 | UefiRuntimeServicesTableLib |
33e7c2ab |
43 | |
5cc45b70 |
44 | [Pcd] |
45 | gArmPlatformTokenSpaceGuid.PcdSP805WatchdogBase |
46 | gArmPlatformTokenSpaceGuid.PcdSP805WatchdogClockFrequencyInHz |
33e7c2ab |
47 | |
48 | [Protocols] |
49 | gEfiWatchdogTimerArchProtocolGuid |
50 | |
33e7c2ab |
51 | [Depex] |
5cc45b70 |
52 | TRUE |