; $Id: DevEFI-binaries.asm 107139 2024-11-26 10:19:37Z vboxsync $
;; @file
; DevEFI - firmware binaries.
;

;
; Copyright (C) 2011-2024 Oracle and/or its affiliates.
;
; This file is part of VirtualBox base platform packages, as
; available from https://www.virtualbox.org.
;
; This program is free software; you can redistribute it and/or
; modify it under the terms of the GNU General Public License
; as published by the Free Software Foundation, in version 3 of the
; License.
;
; This program is distributed in the hope that it will be useful, but
; WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
; General Public License for more details.
;
; You should have received a copy of the GNU General Public License
; along with this program; if not, see <https://www.gnu.org/licenses>.
;
; SPDX-License-Identifier: GPL-3.0-only
;


;*********************************************************************************************************************************
;*  Header Files                                                                                                                 *
;*********************************************************************************************************************************
%include "VBox/asmdefs.mac"
%include "VBox/err.mac"
%include "iprt/x86.mac"


BEGINCONST
EXPORTEDNAME g_abEfiFirmwareX86
        incbin "VBoxEFI-x86.fd"
end_32_firmware:
EXPORTEDNAME g_cbEfiFirmwareX86
        dd  end_32_firmware - NAME(g_abEfiFirmwareX86)

ALIGNDATA(64)
EXPORTEDNAME g_abEfiFirmwareAmd64
        incbin "VBoxEFI-amd64.fd"
end_64_firmware:
EXPORTEDNAME g_cbEfiFirmwareAmd64
        dd  end_64_firmware - NAME(g_abEfiFirmwareAmd64)

%ifdef ASM_FORMAT_ELF
size g_abEfiFirmwareX86 end_32_firmware - NAME(g_abEfiFirmwareX86)
type g_abEfiFirmwareX86 object
size g_cbEfiFirmwareX86 4
type g_cbEfiFirmwareX86 object

size g_abEfiFirmwareAmd64 end_64_firmware - NAME(g_abEfiFirmwareAmd64)
type g_abEfiFirmwareAmd64 object
size g_cbEfiFirmwareAmd64 4
type g_cbEfiFirmwareAmd64 object
%endif