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