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 44