1#/** @file
2#
3# Copyright (c) 2015, Linaro Ltd. All rights reserved.<BR>
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#  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
10#  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
11#
12#
13#**/
14
15[Defines]
16  INF_VERSION                    = 0x00010005
17  BASE_NAME                      = XenRealTimeClockLib
18  FILE_GUID                      = EC2557E8-7005-430B-9F6F-9BA109698248
19  MODULE_TYPE                    = BASE
20  VERSION_STRING                 = 1.0
21  LIBRARY_CLASS                  = RealTimeClockLib|DXE_CORE DXE_DRIVER UEFI_DRIVER DXE_RUNTIME_DRIVER UEFI_APPLICATION
22
23[Sources.common]
24  XenRealTimeClockLib.c
25
26[Packages]
27  MdePkg/MdePkg.dec
28  OvmfPkg/OvmfPkg.dec
29  EmbeddedPkg/EmbeddedPkg.dec
30
31[LibraryClasses]
32  UefiLib
33  DebugLib
34  DxeServicesTableLib
35  UefiRuntimeLib
36
37[Guids]
38  gEfiEventVirtualAddressChangeGuid
39