1 | ; $Id: DevEFI-binaries.asm 108968 2025-04-14 20:45:36Z vboxsync $
|
---|
2 | ;; @file
|
---|
3 | ; DevEFI - firmware binaries.
|
---|
4 | ;
|
---|
5 |
|
---|
6 | ;
|
---|
7 | ; Copyright (C) 2011-2024 Oracle and/or its affiliates.
|
---|
8 | ;
|
---|
9 | ; This file is part of VirtualBox base platform packages, as
|
---|
10 | ; available from https://www.virtualbox.org.
|
---|
11 | ;
|
---|
12 | ; This program is free software; you can redistribute it and/or
|
---|
13 | ; modify it under the terms of the GNU General Public License
|
---|
14 | ; as published by the Free Software Foundation, in version 3 of the
|
---|
15 | ; License.
|
---|
16 | ;
|
---|
17 | ; This program is distributed in the hope that it will be useful, but
|
---|
18 | ; WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
19 | ; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
---|
20 | ; General Public License for more details.
|
---|
21 | ;
|
---|
22 | ; You should have received a copy of the GNU General Public License
|
---|
23 | ; along with this program; if not, see <https://www.gnu.org/licenses>.
|
---|
24 | ;
|
---|
25 | ; SPDX-License-Identifier: GPL-3.0-only
|
---|
26 | ;
|
---|
27 |
|
---|
28 |
|
---|
29 | ;*********************************************************************************************************************************
|
---|
30 | ;* Header Files *
|
---|
31 | ;*********************************************************************************************************************************
|
---|
32 | %include "VBox/asmdefs.mac"
|
---|
33 | %include "VBox/err.mac"
|
---|
34 | %include "iprt/x86.mac"
|
---|
35 |
|
---|
36 |
|
---|
37 | BEGINCONST
|
---|
38 | EXPORTEDNAME g_abEfiFirmwareX86
|
---|
39 | incbin "VBoxEFI-x86.fd"
|
---|
40 | end_x86_firmware:
|
---|
41 | EXPORTEDNAME g_cbEfiFirmwareX86
|
---|
42 | dd end_x86_firmware - NAME(g_abEfiFirmwareX86)
|
---|
43 |
|
---|
44 | ALIGNDATA(64)
|
---|
45 | EXPORTEDNAME g_abEfiFirmwareAmd64
|
---|
46 | incbin "VBoxEFI-amd64.fd"
|
---|
47 | end_amd64_firmware:
|
---|
48 | EXPORTEDNAME g_cbEfiFirmwareAmd64
|
---|
49 | dd end_amd64_firmware - NAME(g_abEfiFirmwareAmd64)
|
---|
50 |
|
---|
51 | %ifdef ASM_FORMAT_ELF
|
---|
52 | size g_abEfiFirmwareX86 end_x86_firmware - NAME(g_abEfiFirmwareX86)
|
---|
53 | type g_abEfiFirmwareX86 object
|
---|
54 | size g_cbEfiFirmwareX86 4
|
---|
55 | type g_cbEfiFirmwareX86 object
|
---|
56 |
|
---|
57 | size g_abEfiFirmwareAmd64 end_amd64_firmware - NAME(g_abEfiFirmwareAmd64)
|
---|
58 | type g_abEfiFirmwareAmd64 object
|
---|
59 | size g_cbEfiFirmwareAmd64 4
|
---|
60 | type g_cbEfiFirmwareAmd64 object
|
---|
61 | %endif
|
---|
62 |
|
---|
63 | %ifdef VBOX_WITH_VIRT_ARMV8
|
---|
64 | ;
|
---|
65 | ; The ARMv8 bits
|
---|
66 | ;
|
---|
67 |
|
---|
68 | ; 32-bit firmware:
|
---|
69 | ALIGNDATA(64)
|
---|
70 |
|
---|
71 | EXPORTEDNAME g_abEfiFirmwareArm32
|
---|
72 | incbin "VBoxEFI-arm32.fd"
|
---|
73 | end_arm32_firmware:
|
---|
74 | EXPORTEDNAME g_cbEfiFirmwareArm32
|
---|
75 | dd end_arm32_firmware - NAME(g_abEfiFirmwareArm32)
|
---|
76 |
|
---|
77 | ALIGNDATA(64)
|
---|
78 | EXPORTEDNAME g_abEfiFirmwareArm64
|
---|
79 | incbin "VBoxEFI-arm64.fd"
|
---|
80 | end_arm64_firmware:
|
---|
81 | EXPORTEDNAME g_cbEfiFirmwareArm64
|
---|
82 | dd end_arm64_firmware - NAME(g_abEfiFirmwareArm64)
|
---|
83 |
|
---|
84 | %ifdef ASM_FORMAT_ELF
|
---|
85 | size g_abEfiFirmwareArm32 end_arm_firmware - NAME(g_abEfiFirmwareArm32)
|
---|
86 | type g_abEfiFirmwareArm32 object
|
---|
87 | size g_cbEfiFirmwareArm32 4
|
---|
88 | type g_cbEfiFirmwareArm32 object
|
---|
89 |
|
---|
90 | size g_abEfiFirmwareArm64 end_arm64_firmware - NAME(g_abEfiFirmwareArm64)
|
---|
91 | type g_abEfiFirmwareArm64 object
|
---|
92 | size g_cbEfiFirmwareArm64 4
|
---|
93 | type g_cbEfiFirmwareArm64 object
|
---|
94 | %endif
|
---|
95 |
|
---|
96 | %endif ; VBOX_WITH_VIRT_ARMV8
|
---|