1 | # $Id: VBoxVgaMiniPortDxe.inf 98103 2023-01-17 14:15:46Z vboxsync $
|
---|
2 | ## @file
|
---|
3 | # VBoxVgaMiniPortDxe.inf - VgaMiniPort Protocol module declaration.
|
---|
4 | #
|
---|
5 |
|
---|
6 |
|
---|
7 | #
|
---|
8 | # Copyright (C) 2009-2023 Oracle and/or its affiliates.
|
---|
9 | #
|
---|
10 | # This file is part of VirtualBox base platform packages, as
|
---|
11 | # available from https://www.virtualbox.org.
|
---|
12 | #
|
---|
13 | # This program is free software; you can redistribute it and/or
|
---|
14 | # modify it under the terms of the GNU General Public License
|
---|
15 | # as published by the Free Software Foundation, in version 3 of the
|
---|
16 | # License.
|
---|
17 | #
|
---|
18 | # This program is distributed in the hope that it will be useful, but
|
---|
19 | # WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
20 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
---|
21 | # General Public License for more details.
|
---|
22 | #
|
---|
23 | # You should have received a copy of the GNU General Public License
|
---|
24 | # along with this program; if not, see <https://www.gnu.org/licenses>.
|
---|
25 | #
|
---|
26 | # The contents of this file may alternatively be used under the terms
|
---|
27 | # of the Common Development and Distribution License Version 1.0
|
---|
28 | # (CDDL), a copy of it is provided in the "COPYING.CDDL" file included
|
---|
29 | # in the VirtualBox distribution, in which case the provisions of the
|
---|
30 | # CDDL are applicable instead of those of the GPL.
|
---|
31 | #
|
---|
32 | # You may elect to license modified versions of this file under the
|
---|
33 | # terms and conditions of either the GPL or the CDDL or both.
|
---|
34 | #
|
---|
35 | # SPDX-License-Identifier: GPL-3.0-only OR CDDL-1.0
|
---|
36 | #
|
---|
37 |
|
---|
38 |
|
---|
39 |
|
---|
40 | [Defines]
|
---|
41 | INF_VERSION = 0x00010005
|
---|
42 | BASE_NAME = VBoxVgaMiniPortDxe
|
---|
43 | FILE_GUID = AE8558FD-9DA9-4FA1-AE16-94456C977244
|
---|
44 | MODULE_TYPE = UEFI_DRIVER
|
---|
45 | VERSION_STRING = 1.0
|
---|
46 | EDK_RELEASE_VERSION = 0x00020000
|
---|
47 | EFI_SPECIFICATION_VERSION = 0x00020000
|
---|
48 | ENTRY_POINT = DxeInitializeVBoxVgaMiniPort
|
---|
49 |
|
---|
50 | [Sources.common]
|
---|
51 | VBoxVgaMiniPortDxe.c
|
---|
52 | VBoxVgaFonts.h
|
---|
53 | VBoxVgaFont-8x14.h
|
---|
54 |
|
---|
55 | [Packages]
|
---|
56 | MdePkg/MdePkg.dec
|
---|
57 | OvmfPkg/OvmfPkg.dec
|
---|
58 | VBoxPkg/VBoxPkg.dec
|
---|
59 |
|
---|
60 | [LibraryClasses]
|
---|
61 | UefiLib
|
---|
62 | DebugLib
|
---|
63 | UefiBootServicesTableLib
|
---|
64 | UefiDriverEntryPoint
|
---|
65 | BaseMemoryLib
|
---|
66 | MemoryAllocationLib
|
---|
67 |
|
---|
68 | [Protocols]
|
---|
69 | gEfiPciIoProtocolGuid ## TO_START
|
---|
70 | gEfiVgaMiniPortProtocolGuid ## BY_START
|
---|