3 # Copyright (c) 2015, Linaro Ltd. All rights reserved.<BR>
5 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = XenRealTimeClockLib
13 FILE_GUID = EC2557E8-7005-430B-9F6F-9BA109698248
16 LIBRARY_CLASS = RealTimeClockLib|DXE_CORE DXE_DRIVER UEFI_DRIVER DXE_RUNTIME_DRIVER UEFI_APPLICATION
24 EmbeddedPkg/EmbeddedPkg.dec
33 gEfiEventVirtualAddressChangeGuid