OvmfPkg/XenIoPciDxe/XenIoPciDxe.inf

   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