/** @file\r
*\r
* Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
-* \r
-* This program and the accompanying materials \r
-* are licensed and made available under the terms and conditions of the BSD License \r
-* which accompanies this distribution. The full text of the license may be found at \r
-* http://opensource.org/licenses/bsd-license.php \r
+* Copyright (c) 2018, Linaro Limited. All rights reserved.\r
*\r
-* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
-* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r
+* This program and the accompanying materials\r
+* are licensed and made available under the terms and conditions of the BSD License\r
+* which accompanies this distribution. The full text of the license may be found at\r
+* http://opensource.org/licenses/bsd-license.php\r
+*\r
+* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
*\r
**/\r
\r
[Defines]\r
INF_VERSION = 0x00010005\r
BASE_NAME = SP805WatchdogDxe\r
- FILE_GUID = ebd705fb-fa92-46a7-b32b-7f566d944614 \r
+ FILE_GUID = ebd705fb-fa92-46a7-b32b-7f566d944614\r
MODULE_TYPE = DXE_DRIVER\r
VERSION_STRING = 1.0\r
-\r
ENTRY_POINT = SP805Initialize\r
\r
[Sources.common]\r
SP805Watchdog.c\r
\r
[Packages]\r
- MdePkg/MdePkg.dec\r
- EmbeddedPkg/EmbeddedPkg.dec\r
ArmPkg/ArmPkg.dec\r
ArmPlatformPkg/ArmPlatformPkg.dec\r
+ MdePkg/MdePkg.dec\r
\r
[LibraryClasses]\r
BaseLib\r
- BaseMemoryLib\r
DebugLib\r
IoLib\r
- PcdLib\r
- UefiLib\r
UefiBootServicesTableLib\r
UefiDriverEntryPoint\r
- UefiRuntimeServicesTableLib\r
\r
[Pcd]\r
gArmPlatformTokenSpaceGuid.PcdSP805WatchdogBase\r
gArmPlatformTokenSpaceGuid.PcdSP805WatchdogClockFrequencyInHz\r
\r
[Protocols]\r
- gEfiWatchdogTimerArchProtocolGuid \r
+ gEfiWatchdogTimerArchProtocolGuid ## ALWAYS_PRODUCES\r
\r
[Depex]\r
TRUE\r