[81450] | 1 | ; $Id: DevEFI-binaries.asm 98103 2023-01-17 14:15:46Z vboxsync $
|
---|
| 2 | ;; @file
|
---|
| 3 | ; DevEFI - firmware binaries.
|
---|
| 4 | ;
|
---|
| 5 |
|
---|
| 6 | ;
|
---|
[98103] | 7 | ; Copyright (C) 2011-2023 Oracle and/or its affiliates.
|
---|
[81450] | 8 | ;
|
---|
[96407] | 9 | ; This file is part of VirtualBox base platform packages, as
|
---|
| 10 | ; available from https://www.virtualbox.org.
|
---|
[81450] | 11 | ;
|
---|
[96407] | 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 | ;
|
---|
[81450] | 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_abEfiFirmware32
|
---|
| 39 | incbin "VBoxEFI32.fd"
|
---|
| 40 | end_32_firmware:
|
---|
| 41 | EXPORTEDNAME g_cbEfiFirmware32
|
---|
| 42 | dd end_32_firmware - NAME(g_abEfiFirmware32)
|
---|
| 43 |
|
---|
| 44 | ALIGNDATA(64)
|
---|
| 45 | EXPORTEDNAME g_abEfiFirmware64
|
---|
| 46 | incbin "VBoxEFI64.fd"
|
---|
| 47 | end_64_firmware:
|
---|
| 48 | EXPORTEDNAME g_cbEfiFirmware64
|
---|
| 49 | dd end_64_firmware - NAME(g_abEfiFirmware64)
|
---|
| 50 |
|
---|
[81779] | 51 | %ifdef ASM_FORMAT_ELF
|
---|
| 52 | size g_abEfiFirmware32 end_32_firmware - NAME(g_abEfiFirmware32)
|
---|
| 53 | type g_abEfiFirmware32 object
|
---|
| 54 | size g_cbEfiFirmware32 4
|
---|
| 55 | type g_cbEfiFirmware32 object
|
---|
| 56 |
|
---|
[81780] | 57 | size g_abEfiFirmware64 end_64_firmware - NAME(g_abEfiFirmware64)
|
---|
[81779] | 58 | type g_abEfiFirmware64 object
|
---|
| 59 | size g_cbEfiFirmware64 4
|
---|
| 60 | type g_cbEfiFirmware64 object
|
---|
| 61 | %endif
|
---|