37924f2e3cd224f02116eab22d121a5acba76dd0
[mirror_edk2.git] / ArmPlatformPkg / Drivers / SP805WatchdogDxe / SP805WatchdogDxe.inf
1 /** @file\r
2 *\r
3 *  Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
4 *\r
5 *  This program and the accompanying materials\r
6 *  are licensed and made available under the terms and conditions of the BSD License\r
7 *  which accompanies this distribution.  The full text of the license may be found at\r
8 *  http://opensource.org/licenses/bsd-license.php\r
9 *\r
10 *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
11 *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
12 *\r
13 **/\r
14 \r
15 [Defines]\r
16   INF_VERSION                    = 0x00010005\r
17   BASE_NAME                      = SP805WatchdogDxe\r
18   FILE_GUID                      = ebd705fb-fa92-46a7-b32b-7f566d944614\r
19   MODULE_TYPE                    = DXE_DRIVER\r
20   VERSION_STRING                 = 1.0\r
21 \r
22   ENTRY_POINT                    = SP805Initialize\r
23 \r
24 [Sources.common]\r
25   SP805Watchdog.c\r
26 \r
27 [Packages]\r
28   MdePkg/MdePkg.dec\r
29   EmbeddedPkg/EmbeddedPkg.dec\r
30   ArmPkg/ArmPkg.dec\r
31   ArmPlatformPkg/ArmPlatformPkg.dec\r
32 \r
33 [LibraryClasses]\r
34   BaseLib\r
35   BaseMemoryLib\r
36   DebugLib\r
37   IoLib\r
38   PcdLib\r
39   UefiLib\r
40   UefiBootServicesTableLib\r
41   UefiDriverEntryPoint\r
42   UefiRuntimeServicesTableLib\r
43 \r
44 [Pcd]\r
45   gArmPlatformTokenSpaceGuid.PcdSP805WatchdogBase\r
46   gArmPlatformTokenSpaceGuid.PcdSP805WatchdogClockFrequencyInHz\r
47 \r
48 [Protocols]\r
49   gEfiWatchdogTimerArchProtocolGuid\r
50 \r
51 [Depex]\r
52   TRUE\r