## @file
#  Driver for the XenIo protocol
#
#  Copyright (c) 2019, Citrix Systems, Inc.
#
#  SPDX-License-Identifier: BSD-2-Clause-Patent
#
##

[Defines]
  INF_VERSION               = 0x00010005
  BASE_NAME                 = XenIoPvhDxe
  FILE_GUID                 = 7a567cc4-0e75-4d7a-a305-c3db109b53ad
  MODULE_TYPE               = DXE_DRIVER
  VERSION_STRING            = 1.0
  ENTRY_POINT               = InitializeXenIoPvhDxe

[Packages]
  MdePkg/MdePkg.dec
  OvmfPkg/OvmfPkg.dec

[Sources]
  XenIoPvhDxe.c

[LibraryClasses]
  MemoryAllocationLib
  PcdLib
  UefiDriverEntryPoint
  XenIoMmioLib
  XenPlatformLib

[FixedPcd]
  gUefiOvmfPkgTokenSpaceGuid.PcdXenGrantFrames

[Depex]
  TRUE