Changeset 101616 in vbox for trunk/src/VBox/Devices/EFI

Timestamp:

Oct 27, 2023 12:37:51 PM (18 months ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

159700

Message:

Devices: Don't (ab)use VBOX_VMM_TARGET_ARMV8 for defining whether the Armv8 bits are compiled in. Use VBOX_WITH_VIRT_ARMV8 as VBoxDD is combined for x86 and arm and doesn't has a dedicated binary like VBoxVMMArm has, bugref:10385

File:

• trunk/src/VBox/Devices/EFI/DevEFI-binaries.S (modified) (1 diff)

trunk/src/VBox/Devices/EFI/DevEFI-binaries.S

@@ -72 +72 @@
 #endif
 
-#ifdef VBOX_VMM_TARGET_ARMV8
+#ifdef VBOX_WITH_VIRT_ARMV8
 ;
 ; The ARMv8 bits