2 # Driver for the virtual Xen PCI device
4 # Copyright (C) 2015, Linaro Ltd.
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = XenIoPciDxe
13 FILE_GUID = cf569f50-de44-4f54-b4d7-f4ae25cda599
14 MODULE_TYPE = UEFI_DRIVER
16 ENTRY_POINT = XenIoPciDeviceEntryPoint
27 UefiBootServicesTableLib
35 gEfiDriverBindingProtocolGuid
37 gEfiComponentName2ProtocolGuid
38 gEfiComponentNameProtocolGuid