OvmfPkg/VirtioPciDeviceDxe/VirtioPciDeviceDxe.inf

   1 ## @file
   2 # This driver produces the VirtIo Device Protocol instances for VirtIo PCI
   3 # Device
   4 #
   5 # Copyright (C) 2013, ARM Ltd
   6 #
   7 # This program and the accompanying materials are licensed and made available
   8 # under the terms and conditions of the BSD License which accompanies this
   9 # distribution. The full text of the license may be found at
  10 # http://opensource.org/licenses/bsd-license.php
  11 #
  12 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT
  13 # WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  14 #
  15 ##
  16
  17 [Defines]
  18   INF_VERSION                    = 0x00010006
  19   BASE_NAME                      = VirtioPciDeviceDxe
  20   FILE_GUID                      = 83dd3b39-7caf-4fac-a542-e050b767e3a7
  21   MODULE_TYPE                    = UEFI_DRIVER
  22   VERSION_STRING                 = 1.0
  23   ENTRY_POINT                    = VirtioPciDeviceEntryPoint
  24
  25 [Sources]
  26   VirtioPciDevice.c
  27   VirtioPciFunctions.c
  28
  29 [Packages]
  30   MdePkg/MdePkg.dec
  31   OvmfPkg/OvmfPkg.dec
  32
  33 [LibraryClasses]
  34   BaseMemoryLib
  35   DebugLib
  36   MemoryAllocationLib
  37   UefiBootServicesTableLib
  38   UefiDriverEntryPoint
  39   UefiLib
  40
  41 [Protocols]
  42   gEfiPciIoProtocolGuid     ## TO_START
  43   gVirtioDeviceProtocolGuid ## BY_START