1
# $Id: VBoxVgaMiniPortDxe.inf $
3
# VBoxVgaMiniPortDxe.inf - VgaMiniPort Protocol module declaration.
8
# Copyright (C) 2009-2010 Sun Microsystems, Inc.
10
# This file is part of VirtualBox Open Source Edition (OSE), as
11
# available from http://www.virtualbox.org. This file is free software;
12
# you can redistribute it and/or modify it under the terms of the GNU
13
# General Public License (GPL) as published by the Free Software
14
# Foundation, in version 2 as it comes in the "COPYING" file of the
15
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
16
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
18
# Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa
19
# Clara, CA 95054 USA or visit http://www.sun.com if you need
20
# additional information or have any questions.
27
INF_VERSION = 0x00010005
28
BASE_NAME = VBoxVgaMiniPortDxe
29
FILE_GUID = AE8558FD-9DA9-4FA1-AE16-94456C977244
30
MODULE_TYPE = UEFI_DRIVER
32
EDK_RELEASE_VERSION = 0x00020000
33
EFI_SPECIFICATION_VERSION = 0x00020000
34
ENTRY_POINT = DxeInitializeVBoxVgaMiniPort
43
IntelFrameworkModulePkg/IntelFrameworkModulePkg.dec
49
UefiBootServicesTableLib
55
gEfiPciIoProtocolGuid ## TO_START
56
gEfiVgaMiniPortProtocolGuid ## BY_START