OvmfPkg/XenIoPciDxe/XenIoPciDxe.inf

   1 ## @file
   2 #  Driver for the virtual Xen PCI device
   3 #
   4 #  Copyright (C) 2015, Linaro Ltd.
   5 #
   6 #  This program and the accompanying materials
   7 #  are licensed and made available under the terms and conditions of the BSD License
   8 #  which accompanies this distribution.  The full text of the license may be found at
   9 #  http://opensource.org/licenses/bsd-license.php
  10 #
  11 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13 #
  14 ##
  15
  16 [Defines]
  17   INF_VERSION               = 0x00010005
  18   BASE_NAME                 = XenIoPciDxe
  19   FILE_GUID                 = cf569f50-de44-4f54-b4d7-f4ae25cda599
  20   MODULE_TYPE               = UEFI_DRIVER
  21   VERSION_STRING            = 1.0
  22   ENTRY_POINT               = XenIoPciDeviceEntryPoint
  23
  24 [Packages]
  25   MdePkg/MdePkg.dec
  26   OvmfPkg/OvmfPkg.dec
  27
  28 [Sources]
  29   XenIoPciDxe.c
  30
  31 [LibraryClasses]
  32   UefiDriverEntryPoint
  33   UefiBootServicesTableLib
  34   MemoryAllocationLib
  35   BaseMemoryLib
  36   BaseLib
  37   UefiLib
  38   DebugLib
  39
  40 [Protocols]
  41   gEfiDriverBindingProtocolGuid
  42   gEfiPciIoProtocolGuid
  43   gEfiComponentName2ProtocolGuid
  44   gEfiComponentNameProtocolGuid
  45   gXenIoProtocolGuid