VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/VirtioPciDeviceDxe/VirtioPciDeviceDxe.inf

Last change on this file was 80721, checked in by vboxsync, 5 years ago

Devices/EFI/FirmwareNew: Start upgrade process to edk2-stable201908 (compiles on Windows and works to some extent), bugref:4643

  • Property svn:eol-style set to native
File size: 857 bytes
Line 
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# SPDX-License-Identifier: BSD-2-Clause-Patent
8#
9##
10
11[Defines]
12 INF_VERSION = 0x00010006
13 BASE_NAME = VirtioPciDeviceDxe
14 FILE_GUID = 83dd3b39-7caf-4fac-a542-e050b767e3a7
15 MODULE_TYPE = UEFI_DRIVER
16 VERSION_STRING = 1.0
17 ENTRY_POINT = VirtioPciDeviceEntryPoint
18
19[Sources]
20 VirtioPciDevice.c
21 VirtioPciDevice.h
22 VirtioPciFunctions.c
23
24[Packages]
25 MdePkg/MdePkg.dec
26 OvmfPkg/OvmfPkg.dec
27
28[LibraryClasses]
29 BaseMemoryLib
30 DebugLib
31 MemoryAllocationLib
32 UefiBootServicesTableLib
33 UefiDriverEntryPoint
34 UefiLib
35
36[Protocols]
37 gEfiPciIoProtocolGuid ## TO_START
38 gVirtioDeviceProtocolGuid ## BY_START
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette