VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/XenIoPciDxe/XenIoPciDxe.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: 807 bytes
Line 
1## @file
2# Driver for the virtual Xen PCI device
3#
4# Copyright (C) 2015, Linaro Ltd.
5#
6# SPDX-License-Identifier: BSD-2-Clause-Patent
7#
8##
9
10[Defines]
11 INF_VERSION = 0x00010005
12 BASE_NAME = XenIoPciDxe
13 FILE_GUID = cf569f50-de44-4f54-b4d7-f4ae25cda599
14 MODULE_TYPE = UEFI_DRIVER
15 VERSION_STRING = 1.0
16 ENTRY_POINT = XenIoPciDeviceEntryPoint
17
18[Packages]
19 MdePkg/MdePkg.dec
20 OvmfPkg/OvmfPkg.dec
21
22[Sources]
23 XenIoPciDxe.c
24
25[LibraryClasses]
26 UefiDriverEntryPoint
27 UefiBootServicesTableLib
28 MemoryAllocationLib
29 BaseMemoryLib
30 BaseLib
31 UefiLib
32 DebugLib
33
34[Protocols]
35 gEfiDriverBindingProtocolGuid
36 gEfiPciIoProtocolGuid
37 gEfiComponentName2ProtocolGuid
38 gEfiComponentNameProtocolGuid
39 gXenIoProtocolGuid
Note: See TracBrowser for help on using the repository browser.

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