1## @file
2#  Driver for the virtual Xen PCI device
3#
4#  Copyright (C) 2015, Linaro Ltd.
5#
6#  SPDX-License-Identifier: BSD-2-Clause-Patent
7#
8##
9
10[Defines]
11  INF_VERSION               = 0x00010005
12  BASE_NAME                 = XenIoPciDxe
13  FILE_GUID                 = cf569f50-de44-4f54-b4d7-f4ae25cda599
14  MODULE_TYPE               = UEFI_DRIVER
15  VERSION_STRING            = 1.0
16  ENTRY_POINT               = XenIoPciDeviceEntryPoint
17
18[Packages]
19  MdePkg/MdePkg.dec
20  OvmfPkg/OvmfPkg.dec
21
22[Sources]
23  XenIoPciDxe.c
24
25[LibraryClasses]
26  UefiDriverEntryPoint
27  UefiBootServicesTableLib
28  MemoryAllocationLib
29  BaseMemoryLib
30  BaseLib
31  UefiLib
32  DebugLib
33
34[Protocols]
35  gEfiDriverBindingProtocolGuid
36  gEfiPciIoProtocolGuid
37  gEfiComponentName2ProtocolGuid
38  gEfiComponentNameProtocolGuid
39  gXenIoProtocolGuid
40