1 | /* $Id: DevEFI-binaries.S 99927 2023-05-23 08:05:36Z vboxsync $ */
|
---|
2 | /** @file
|
---|
3 | * DevEFI - firmware binaries.
|
---|
4 | */
|
---|
5 |
|
---|
6 | /*
|
---|
7 | * Copyright (C) 2011-2023 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 | #ifdef RT_OS_DARWIN
|
---|
30 | #define NAME(a_Name) _##a_Name
|
---|
31 | #else
|
---|
32 | #define NAME(a_Name) a_Name
|
---|
33 | #endif
|
---|
34 |
|
---|
35 | .section __TEXT,__const
|
---|
36 |
|
---|
37 | ; 32-bit firmware:
|
---|
38 | .p2align 6
|
---|
39 | .globl NAME(g_abEfiFirmware32)
|
---|
40 | NAME(g_abEfiFirmware32):
|
---|
41 | .incbin "VBoxEFI32.fd"
|
---|
42 | end_32_firmware:
|
---|
43 |
|
---|
44 | .p2align 2
|
---|
45 | .globl NAME(g_cbEfiFirmware32)
|
---|
46 | NAME(g_cbEfiFirmware32):
|
---|
47 | .long end_32_firmware - NAME(g_abEfiFirmware32)
|
---|
48 |
|
---|
49 |
|
---|
50 | ; 64-bit firmware:
|
---|
51 | .p2align 6
|
---|
52 | .globl NAME(g_abEfiFirmware64)
|
---|
53 | NAME(g_abEfiFirmware64):
|
---|
54 | .incbin "VBoxEFI64.fd"
|
---|
55 | end_64_firmware:
|
---|
56 |
|
---|
57 | .p2align 2
|
---|
58 | .globl NAME(g_cbEfiFirmware64)
|
---|
59 | NAME(g_cbEfiFirmware64):
|
---|
60 | .long end_64_firmware - NAME(g_abEfiFirmware64)
|
---|
61 |
|
---|
62 | #ifdef ASM_FORMAT_ELF
|
---|
63 | .size g_abEfiFirmware32 end_32_firmware - NAME(g_abEfiFirmware32)
|
---|
64 | .type g_abEfiFirmware32 object
|
---|
65 | .size g_cbEfiFirmware32 4
|
---|
66 | .type g_cbEfiFirmware32 object
|
---|
67 |
|
---|
68 | .size g_abEfiFirmware64 end_64_firmware - NAME(g_abEfiFirmware64)
|
---|
69 | .type g_abEfiFirmware64 object
|
---|
70 | .size g_cbEfiFirmware64 4
|
---|
71 | .type g_cbEfiFirmware64 object
|
---|
72 | #endif
|
---|
73 |
|
---|
74 | #ifdef VBOX_VMM_TARGET_ARMV8
|
---|
75 | ;
|
---|
76 | ; The ARMv8 bits
|
---|
77 | ;
|
---|
78 |
|
---|
79 | ; 32-bit firmware:
|
---|
80 | .p2align 6
|
---|
81 | .globl NAME(g_abEfiFirmwareAArch32)
|
---|
82 | NAME(g_abEfiFirmwareAArch32):
|
---|
83 | .incbin "VBoxEFIAArch32.fd"
|
---|
84 | end_aarch32_firmware:
|
---|
85 |
|
---|
86 | .p2align 2
|
---|
87 | .globl NAME(g_cbEfiFirmwareAArch32)
|
---|
88 | NAME(g_cbEfiFirmwareAArch32):
|
---|
89 | .long end_aarch32_firmware - NAME(g_abEfiFirmwareAArch32)
|
---|
90 |
|
---|
91 |
|
---|
92 | ; 64-bit firmware:
|
---|
93 | .p2align 6
|
---|
94 | .globl NAME(g_abEfiFirmwareAArch64)
|
---|
95 | NAME(g_abEfiFirmwareAArch64):
|
---|
96 | .incbin "VBoxEFIAArch64.fd"
|
---|
97 | end_aarch64_firmware:
|
---|
98 |
|
---|
99 | .p2align 2
|
---|
100 | .globl NAME(g_cbEfiFirmwareAArch64)
|
---|
101 | NAME(g_cbEfiFirmwareAArch64):
|
---|
102 | .long end_aarch64_firmware - NAME(g_abEfiFirmwareAArch64)
|
---|
103 |
|
---|
104 | # ifdef ASM_FORMAT_ELF
|
---|
105 | .size g_abEfiFirmwareAArch32 end_aarch32_firmware - NAME(g_abEfiFirmwareAArch32)
|
---|
106 | .type g_abEfiFirmwareAArch32 object
|
---|
107 | .size g_cbEfiFirmwareAArch32 4
|
---|
108 | .type g_cbEfiFirmwareAArch32 object
|
---|
109 |
|
---|
110 | .size g_abEfiFirmwareAArch64 end_aarch64_firmware - NAME(g_abEfiFirmwareAArch64)
|
---|
111 | .type g_abEfiFirmwareAArch64 object
|
---|
112 | .size g_cbEfiFirmwareAArch64 4
|
---|
113 | .type g_cbEfiFirmwareAArch64 object
|
---|
114 | # endif
|
---|
115 | #endif
|
---|