2 # This driver produces a XenBus protocol for every Xen PV devices found.
4 # Copyright (C) 2014, Citrix Ltd.
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
13 FILE_GUID = 565ec8ba-a484-11e3-802b-b8ac6f7d65e6
14 MODULE_TYPE = UEFI_DRIVER
17 ENTRY_POINT = XenBusDxeDriverEntryPoint
18 UNLOAD_IMAGE = XenBusDxeUnload
44 UefiBootServicesTableLib
56 gEfiDriverBindingProtocolGuid
57 gEfiComponentName2ProtocolGuid
58 gEfiComponentNameProtocolGuid