3 # Copyright (c) 2006, Intel Corporation. All rights reserved.<BR>
4 # Copyright (c) 2011 - 2014, ARM Ltd. All rights reserved.<BR>
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
12 INF_VERSION = 0x00010005
13 BASE_NAME = PL031RealTimeClockLib
14 FILE_GUID = 470DFB96-E205-4515-A75E-2E60F853E79D
17 LIBRARY_CLASS = RealTimeClockLib|DXE_RUNTIME_DRIVER
20 PL031RealTimeClockLib.c
24 EmbeddedPkg/EmbeddedPkg.dec
25 ArmPlatformPkg/ArmPlatformPkg.dec
37 gEfiEventVirtualAddressChangeGuid
40 gArmPlatformTokenSpaceGuid.PcdPL031RtcBase
41 gArmPlatformTokenSpaceGuid.PcdPL031RtcPpmAccuracy
43 [Depex.common.DXE_RUNTIME_DRIVER]
44 gEfiCpuArchProtocolGuid