| 1 | ; $Id: DevEFI-binaries.asm 82968 2020-02-04 10:35:17Z vboxsync $
|
|---|
| 2 | ;; @file
|
|---|
| 3 | ; DevEFI - firmware binaries.
|
|---|
| 4 | ;
|
|---|
| 5 |
|
|---|
| 6 | ;
|
|---|
| 7 | ; Copyright (C) 2011-2020 Oracle Corporation
|
|---|
| 8 | ;
|
|---|
| 9 | ; This file is part of VirtualBox Open Source Edition (OSE), as
|
|---|
| 10 | ; available from http://www.virtualbox.org. This file is free software;
|
|---|
| 11 | ; you can redistribute it and/or modify it under the terms of the GNU
|
|---|
| 12 | ; General Public License (GPL) as published by the Free Software
|
|---|
| 13 | ; Foundation, in version 2 as it comes in the "COPYING" file of the
|
|---|
| 14 | ; VirtualBox OSE distribution. VirtualBox OSE is distributed in the
|
|---|
| 15 | ; hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
|
|---|
| 16 | ;
|
|---|
| 17 |
|
|---|
| 18 |
|
|---|
| 19 | ;*********************************************************************************************************************************
|
|---|
| 20 | ;* Header Files *
|
|---|
| 21 | ;*********************************************************************************************************************************
|
|---|
| 22 | %include "VBox/asmdefs.mac"
|
|---|
| 23 | %include "VBox/err.mac"
|
|---|
| 24 | %include "iprt/x86.mac"
|
|---|
| 25 |
|
|---|
| 26 |
|
|---|
| 27 | BEGINCONST
|
|---|
| 28 | EXPORTEDNAME g_abEfiFirmware32
|
|---|
| 29 | incbin "VBoxEFI32.fd"
|
|---|
| 30 | end_32_firmware:
|
|---|
| 31 | EXPORTEDNAME g_cbEfiFirmware32
|
|---|
| 32 | dd end_32_firmware - NAME(g_abEfiFirmware32)
|
|---|
| 33 |
|
|---|
| 34 | ALIGNDATA(64)
|
|---|
| 35 | EXPORTEDNAME g_abEfiFirmware64
|
|---|
| 36 | incbin "VBoxEFI64.fd"
|
|---|
| 37 | end_64_firmware:
|
|---|
| 38 | EXPORTEDNAME g_cbEfiFirmware64
|
|---|
| 39 | dd end_64_firmware - NAME(g_abEfiFirmware64)
|
|---|
| 40 |
|
|---|
| 41 | %ifdef ASM_FORMAT_ELF
|
|---|
| 42 | size g_abEfiFirmware32 end_32_firmware - NAME(g_abEfiFirmware32)
|
|---|
| 43 | type g_abEfiFirmware32 object
|
|---|
| 44 | size g_cbEfiFirmware32 4
|
|---|
| 45 | type g_cbEfiFirmware32 object
|
|---|
| 46 |
|
|---|
| 47 | size g_abEfiFirmware64 end_64_firmware - NAME(g_abEfiFirmware64)
|
|---|
| 48 | type g_abEfiFirmware64 object
|
|---|
| 49 | size g_cbEfiFirmware64 4
|
|---|
| 50 | type g_cbEfiFirmware64 object
|
|---|
| 51 | %endif
|
|---|
