1 files changed, 72 insertions, 0 deletions
diff --git a/src/VBox/Devices/EFI/DevEFI-binaries.S b/src/VBox/Devices/EFI/DevEFI-binaries.S
new file mode 100644
index 00000000..ac3084bb
--- /dev/null
+++ b/src/VBox/Devices/EFI/DevEFI-binaries.S
@@ -0,0 +1,72 @@
+/* $Id: DevEFI-binaries.S $ */
+/** @file
+ * DevEFI - firmware binaries.
+ */
+
+/*
+ * Copyright (C) 2011-2022 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
+ */
+
+
+#ifdef RT_OS_DARWIN
+#define NAME(a_Name) _##a_Name
+#else
+#define NAME(a_Name) a_Name
+#endif
+
+.section __TEXT,__const
+
+; 32-bit firmware:
+.p2align 6
+.globl NAME(g_abEfiFirmware32)
+NAME(g_abEfiFirmware32):
+        .incbin "VBoxEFI32.fd"
+end_32_firmware:
+
+.p2align 2
+.globl NAME(g_cbEfiFirmware32)
+NAME(g_cbEfiFirmware32):
+        .long end_32_firmware - NAME(g_abEfiFirmware32)
+
+
+; 64-bit firmware:
+.p2align 6
+.globl NAME(g_abEfiFirmware64)
+NAME(g_abEfiFirmware64):
+        .incbin "VBoxEFI64.fd"
+end_64_firmware:
+
+.p2align 2
+.globl NAME(g_cbEfiFirmware64)
+NAME(g_cbEfiFirmware64):
+        .long  end_64_firmware - NAME(g_abEfiFirmware64)
+
+#ifdef ASM_FORMAT_ELF
+.size g_abEfiFirmware32 end_32_firmware - NAME(g_abEfiFirmware32)
+.type g_abEfiFirmware32 object
+.size g_cbEfiFirmware32 4
+.type g_cbEfiFirmware32 object
+
+.size g_abEfiFirmware64 end_64_firmware - NAME(g_abEfiFirmware64)
+.type g_abEfiFirmware64 object
+.size g_cbEfiFirmware64 4
+.type g_cbEfiFirmware64 object
+#endif