2 # This driver produces the VirtIo Device Protocol instances for VirtIo PCI
5 # Copyright (C) 2013, ARM Ltd
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
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.
18 INF_VERSION = 0x00010006
19 BASE_NAME = VirtioPciDeviceDxe
20 FILE_GUID = 83dd3b39-7caf-4fac-a542-e050b767e3a7
21 MODULE_TYPE = UEFI_DRIVER
23 ENTRY_POINT = VirtioPciDeviceEntryPoint
37 UefiBootServicesTableLib
42 gEfiPciIoProtocolGuid ## TO_START
43 gVirtioDeviceProtocolGuid ## BY_START