VirtualBox

source: vbox/trunk/src/VBox/Devices/build/VBoxDD2.h@ 100766

Last change on this file since 100766 was 99927, checked in by vboxsync, 18 months ago

Devices/EFI,Main: Include EFI firmware images for ARMv8 in VBoxDD2 and provide a basic efi device specific for ARMv8 to get rid of the firmware loading hack by using a dedicated device implementation mapping the image as a ROM into the guest address space, bugref:10400

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 4.2 KB
Line 
1/* $Id: VBoxDD2.h 99927 2023-05-23 08:05:36Z vboxsync $ */
2/** @file
3 * Built-in drivers & devices part 2 header.
4 *
5 * These drivers and devices are in separate modules because of LGPL.
6 */
7
8/*
9 * Copyright (C) 2006-2023 Oracle and/or its affiliates.
10 *
11 * This file is part of VirtualBox base platform packages, as
12 * available from https://www.virtualbox.org.
13 *
14 * This program is free software; you can redistribute it and/or
15 * modify it under the terms of the GNU General Public License
16 * as published by the Free Software Foundation, in version 3 of the
17 * License.
18 *
19 * This program is distributed in the hope that it will be useful, but
20 * WITHOUT ANY WARRANTY; without even the implied warranty of
21 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
22 * General Public License for more details.
23 *
24 * You should have received a copy of the GNU General Public License
25 * along with this program; if not, see <https://www.gnu.org/licenses>.
26 *
27 * SPDX-License-Identifier: GPL-3.0-only
28 */
29
30#ifndef VBOX_INCLUDED_SRC_build_VBoxDD2_h
31#define VBOX_INCLUDED_SRC_build_VBoxDD2_h
32#ifndef RT_WITHOUT_PRAGMA_ONCE
33# pragma once
34#endif
35
36#include <VBox/vmm/pdm.h>
37
38RT_C_DECLS_BEGIN
39
40#ifdef IN_VBOXDD2
41extern DECLEXPORT(const unsigned char) g_abPcBiosBinary386[];
42extern DECLEXPORT(const unsigned) g_cbPcBiosBinary386;
43extern DECLEXPORT(const unsigned char) g_abPcBiosBinary286[];
44extern DECLEXPORT(const unsigned) g_cbPcBiosBinary286;
45extern DECLEXPORT(const unsigned char) g_abPcBiosBinary8086[];
46extern DECLEXPORT(const unsigned) g_cbPcBiosBinary8086;
47extern DECLEXPORT(const unsigned char) g_abVgaBiosBinary386[];
48extern DECLEXPORT(const unsigned) g_cbVgaBiosBinary386;
49extern DECLEXPORT(const unsigned char) g_abVgaBiosBinary286[];
50extern DECLEXPORT(const unsigned) g_cbVgaBiosBinary286;
51extern DECLEXPORT(const unsigned char) g_abVgaBiosBinary8086[];
52extern DECLEXPORT(const unsigned) g_cbVgaBiosBinary8086;
53# ifdef VBOX_WITH_PXE_ROM
54extern DECLEXPORT(const unsigned char) g_abNetBiosBinary[];
55extern DECLEXPORT(const unsigned) g_cbNetBiosBinary;
56# endif
57# ifdef VBOX_WITH_EFI_IN_DD2
58extern DECLEXPORT(const unsigned char) g_abEfiFirmware32[];
59extern DECLEXPORT(const unsigned) g_cbEfiFirmware32;
60extern DECLEXPORT(const unsigned char) g_abEfiFirmware64[];
61extern DECLEXPORT(const unsigned) g_cbEfiFirmware64;
62# ifdef VBOX_VMM_TARGET_ARMV8
63extern DECLEXPORT(const unsigned char) g_abEfiFirmwareAArch32[];
64extern DECLEXPORT(const unsigned) g_cbEfiFirmwareAArch32;
65extern DECLEXPORT(const unsigned char) g_abEfiFirmwareAArch64[];
66extern DECLEXPORT(const unsigned) g_cbEfiFirmwareAArch64;
67# endif
68# endif
69#else /* !IN_VBOXDD2 */
70extern DECLIMPORT(const unsigned char) g_abPcBiosBinary386[];
71extern DECLIMPORT(const unsigned) g_cbPcBiosBinary386;
72extern DECLIMPORT(const unsigned char) g_abPcBiosBinary286[];
73extern DECLIMPORT(const unsigned) g_cbPcBiosBinary286;
74extern DECLIMPORT(const unsigned char) g_abPcBiosBinary8086[];
75extern DECLIMPORT(const unsigned) g_cbPcBiosBinary8086;
76extern DECLIMPORT(const unsigned char) g_abVgaBiosBinary386[];
77extern DECLIMPORT(const unsigned) g_cbVgaBiosBinary386;
78extern DECLIMPORT(const unsigned char) g_abVgaBiosBinary286[];
79extern DECLIMPORT(const unsigned) g_cbVgaBiosBinary286;
80extern DECLIMPORT(const unsigned char) g_abVgaBiosBinary8086[];
81extern DECLIMPORT(const unsigned) g_cbVgaBiosBinary8086;
82# ifdef VBOX_WITH_PXE_ROM
83extern DECLIMPORT(const unsigned char) g_abNetBiosBinary[];
84extern DECLIMPORT(const unsigned) g_cbNetBiosBinary;
85# endif
86# ifdef VBOX_WITH_EFI_IN_DD2
87extern DECLIMPORT(const unsigned char) g_abEfiFirmware32[];
88extern DECLIMPORT(const unsigned) g_cbEfiFirmware32;
89extern DECLIMPORT(const unsigned char) g_abEfiFirmware64[];
90extern DECLIMPORT(const unsigned) g_cbEfiFirmware64;
91# ifdef VBOX_VMM_TARGET_ARMV8
92extern DECLIMPORT(const unsigned char) g_abEfiFirmwareAArch32[];
93extern DECLIMPORT(const unsigned) g_cbEfiFirmwareAArch32;
94extern DECLIMPORT(const unsigned char) g_abEfiFirmwareAArch64[];
95extern DECLIMPORT(const unsigned) g_cbEfiFirmwareAArch64;
96# endif
97# endif
98#endif /* !IN_VBOXDD2 */
99
100RT_C_DECLS_END
101
102#endif /* !VBOX_INCLUDED_SRC_build_VBoxDD2_h */
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