Changeset 48754 in vbox for trunk/src/VBox/Devices/EFI/Firmware/Config.kmk

Timestamp:

Sep 28, 2013 6:53:10 PM (11 years ago)

Author:

vboxsync

Message:

Bit the bullet and forked tools_def.template, dropping most of the horrible sed stuff and hand crafting a usable template instead.

File:

• trunk/src/VBox/Devices/EFI/Firmware/Config.kmk (modified) (3 diffs)

trunk/src/VBox/Devices/EFI/Firmware/Config.kmk

@@ -46 +46 @@
 #
 # Decide which tool chain to use for the EFI binaries.
+# Note! We're using our own stripped down tools_def.txt: vbox-tools_def.txt.
 #
 ifeq ($(KBUILD_HOST),win)
- ifeq ($(VBOX_VCC_TOOL_STEM),VCC100)
-  VBOX_EFI_TOOL_CHAIN := VS2010$(if-expr "$(KBUILD_HOST_ARCH)" == "x86",x86,)
- else ifeq ($(VBOX_VCC_TOOL_STEM),VCC110)
-  VBOX_EFI_TOOL_CHAIN := VS2012$(if-expr "$(KBUILD_HOST_ARCH)" == "x86",x86,)
- else
-  $(error Unsupported Visual C++ tool: $(VBOX_VCC_TOOL_STEM))
- endif
+ VBOX_EFI_TOOL_CHAIN := VS2010
 else
  VBOX_EFI_TOOL_CHAIN = UNIXGCC
@@ -112 +107 @@
 
 
+#
+# The name of the subdirectory which the .pdb, .efi and other output files ends
+# up in, apparently.  In the generated makefiles, DEBUG_DIR points to them.
+#
+VBOX_EFI_DEBUG_DIR = DEBUG
 
 #
@@ -117 +117 @@
 #
 VBOX_EFI_MODULES = \
-        IntelFrameworkModulePkg/Bus/Isa/IsaBusDxe/IsaBusDxe/$(VBOX_EFI_BUILD_TARGET)/IsaBusDxe \
-        IntelFrameworkModulePkg/Bus/Isa/IsaFloppyDxe/IsaFloppyDxe/$(VBOX_EFI_BUILD_TARGET)/IsaFloppyDxe \
-        IntelFrameworkModulePkg/Bus/Isa/IsaIoDxe/IsaIoDxe/$(VBOX_EFI_BUILD_TARGET)/IsaIoDxe \
-        IntelFrameworkModulePkg/Bus/Isa/IsaSerialDxe/IsaSerialDxe/$(VBOX_EFI_BUILD_TARGET)/IsaSerialDxe \
-        IntelFrameworkModulePkg/Bus/Isa/Ps2KeyboardDxe/Ps2keyboardDxe/$(VBOX_EFI_BUILD_TARGET)/Ps2KeyboardDxe \
-        IntelFrameworkModulePkg/Bus/Pci/IdeBusDxe/IdeBusDxe/$(VBOX_EFI_BUILD_TARGET)/IdeBusDxe \
-        IntelFrameworkModulePkg/Universal/BdsDxe/BdsDxe/$(VBOX_EFI_BUILD_TARGET)/BdsDxe \
-        IntelFrameworkModulePkg/Universal/DataHubDxe/DataHubDxe/$(VBOX_EFI_BUILD_TARGET)/DataHubDxe \
-        IntelFrameworkModulePkg/Universal/StatusCode/Pei/StatusCodePei/$(VBOX_EFI_BUILD_TARGET)/StatusCodePei \
-        IntelFrameworkModulePkg/Universal/StatusCode/RuntimeDxe/StatusCodeRuntimeDxe/$(VBOX_EFI_BUILD_TARGET)/StatusCodeRuntimeDxe \
-        MdeModulePkg/Bus/Ata/AtaAtapiPassThru/AtaAtapiPassThru/$(VBOX_EFI_BUILD_TARGET)/AtaAtapiPassThruDxe \
-        MdeModulePkg/Bus/Ata/AtaBusDxe/AtaBusDxe/$(VBOX_EFI_BUILD_TARGET)/AtaBusDxe \
-        MdeModulePkg/Bus/Pci/EhciDxe/EhciDxe/$(VBOX_EFI_BUILD_TARGET)/EhciDxe \
-        MdeModulePkg/Bus/Pci/PciBusDxe/PciBusDxe/$(VBOX_EFI_BUILD_TARGET)/PciBusDxe \
-        MdeModulePkg/Bus/Scsi/ScsiBusDxe/ScsiBusDxe/$(VBOX_EFI_BUILD_TARGET)/ScsiBus \
-        MdeModulePkg/Bus/Scsi/ScsiDiskDxe/ScsiDiskDxe/$(VBOX_EFI_BUILD_TARGET)/ScsiDisk \
-        MdeModulePkg/Bus/Usb/UsbBusDxe/UsbBusDxe/$(VBOX_EFI_BUILD_TARGET)/UsbBusDxe \
-        MdeModulePkg/Bus/Usb/UsbKbDxe/UsbKbDxe/$(VBOX_EFI_BUILD_TARGET)/UsbKbDxe \
-        MdeModulePkg/Bus/Usb/UsbMassStorageDxe/UsbMassStorageDxe/$(VBOX_EFI_BUILD_TARGET)/UsbMassStorageDxe \
-        MdeModulePkg/Core/Dxe/DxeMain/$(VBOX_EFI_BUILD_TARGET)/DxeCore \
-        MdeModulePkg/Core/DxeIplPeim/DxeIpl/$(VBOX_EFI_BUILD_TARGET)/DxeIpl \
-        MdeModulePkg/Core/Pei/PeiMain/$(VBOX_EFI_BUILD_TARGET)/PeiCore \
-        MdeModulePkg/Core/RuntimeDxe/RuntimeDxe/$(VBOX_EFI_BUILD_TARGET)/RuntimeDxe \
-        MdeModulePkg/Universal/Acpi/AcpiTableDxe/AcpiTableDxe/$(VBOX_EFI_BUILD_TARGET)/AcpiTableDxe \
-        MdeModulePkg/Universal/CapsuleRuntimeDxe/CapsuleRuntimeDxe/$(VBOX_EFI_BUILD_TARGET)/CapsuleRuntimeDxe \
-        MdeModulePkg/Universal/Console/ConPlatformDxe/ConPlatformDxe/$(VBOX_EFI_BUILD_TARGET)/ConPlatformDxe \
-        MdeModulePkg/Universal/Console/ConSplitterDxe/ConSplitterDxe/$(VBOX_EFI_BUILD_TARGET)/ConSplitterDxe \
-        MdeModulePkg/Universal/Console/GraphicsConsoleDxe/GraphicsConsoleDxe/$(VBOX_EFI_BUILD_TARGET)/GraphicsConsoleDxe \
-        MdeModulePkg/Universal/Console/TerminalDxe/TerminalDxe/$(VBOX_EFI_BUILD_TARGET)/TerminalDxe \
-        MdeModulePkg/Universal/DevicePathDxe/DevicePathDxe/$(VBOX_EFI_BUILD_TARGET)/DevicePathDxe \
-        MdeModulePkg/Universal/Disk/DiskIoDxe/DiskIoDxe/$(VBOX_EFI_BUILD_TARGET)/DiskIoDxe \
-        MdeModulePkg/Universal/Disk/UnicodeCollation/EnglishDxe/EnglishDxe/$(VBOX_EFI_BUILD_TARGET)/EnglishDxe \
-        MdeModulePkg/Universal/EbcDxe/EbcDxe/$(VBOX_EFI_BUILD_TARGET)/EbcDxe \
-        MdeModulePkg/Universal/FaultTolerantWriteDxe/FaultTolerantWriteDxe/$(VBOX_EFI_BUILD_TARGET)/FaultTolerantWriteDxe \
-        MdeModulePkg/Universal/HiiDatabaseDxe/HiiDatabaseDxe/$(VBOX_EFI_BUILD_TARGET)/HiiDatabase \
-        MdeModulePkg/Universal/MemoryTest/NullMemoryTestDxe/NullMemoryTestDxe/$(VBOX_EFI_BUILD_TARGET)/NullMemoryTestDxe \
-        MdeModulePkg/Universal/Metronome/Metronome/$(VBOX_EFI_BUILD_TARGET)/Metronome \
-        MdeModulePkg/Universal/MonotonicCounterRuntimeDxe/MonotonicCounterRuntimeDxe/$(VBOX_EFI_BUILD_TARGET)/MonotonicCounterRuntimeDxe \
-        MdeModulePkg/Universal/PCD/Dxe/Pcd/$(VBOX_EFI_BUILD_TARGET)/PcdDxe \
-        MdeModulePkg/Universal/PCD/Pei/Pcd/$(VBOX_EFI_BUILD_TARGET)/PcdPeim \
-        MdeModulePkg/Universal/PrintDxe/PrintDxe/$(VBOX_EFI_BUILD_TARGET)/PrintDxe \
-        MdeModulePkg/Universal/ReportStatusCodeRouter/RuntimeDxe/ReportStatusCodeRouterRuntimeDxe/$(VBOX_EFI_BUILD_TARGET)/ReportStatusCodeRouterRuntimeDxe \
-        MdeModulePkg/Universal/SecurityStubDxe/SecurityStubDxe/$(VBOX_EFI_BUILD_TARGET)/SecurityStubDxe \
-        MdeModulePkg/Universal/SetupBrowserDxe/SetupBrowserDxe/$(VBOX_EFI_BUILD_TARGET)/SetupBrowser \
-        MdeModulePkg/Universal/SmbiosDxe/SmbiosDxe/$(VBOX_EFI_BUILD_TARGET)/SmbiosDxe \
-        MdeModulePkg/Universal/StatusCodeHandler/RuntimeDxe/StatusCodeHandlerRuntimeDxe/$(VBOX_EFI_BUILD_TARGET)/StatusCodeHandlerRuntimeDxe \
-        MdeModulePkg/Universal/WatchdogTimerDxe/WatchdogTimer/$(VBOX_EFI_BUILD_TARGET)/WatchdogTimer \
-        OvmfPkg/BlockMmioToBlockIoDxe/BlockIo/$(VBOX_EFI_BUILD_TARGET)/BlockMmioToBlockIoDxe \
-        OvmfPkg/EmuVariableFvbRuntimeDxe/Fvb/$(VBOX_EFI_BUILD_TARGET)/EmuVariableFvbRuntimeDxe \
-        OvmfPkg/Sec/SecMain/$(VBOX_EFI_BUILD_TARGET)/SecMain \
-        OvmfPkg/SmbiosPlatformDxe/SmbiosPlatformDxe/$(VBOX_EFI_BUILD_TARGET)/SmbiosPlatformDxe \
-        PcAtChipsetPkg/8254TimerDxe/8254Timer/$(VBOX_EFI_BUILD_TARGET)/Timer \
-        PcAtChipsetPkg/8259InterruptControllerDxe/8259/$(VBOX_EFI_BUILD_TARGET)/Legacy8259 \
-        PcAtChipsetPkg/Bus/Pci/IdeControllerDxe/IdeControllerDxe/$(VBOX_EFI_BUILD_TARGET)/IdeController \
-        PcAtChipsetPkg/IsaAcpiDxe/IsaAcpi/$(VBOX_EFI_BUILD_TARGET)/IsaAcpi \
-        PcAtChipsetPkg/KbcResetDxe/Reset/$(VBOX_EFI_BUILD_TARGET)/KbcReset \
-        PcAtChipsetPkg/PcatRealTimeClockRuntimeDxe/PcatRealTimeClockRuntimeDxe/$(VBOX_EFI_BUILD_TARGET)/PcRtc \
-        PcAtChipsetPkg/PciHostBridgeDxe/PciHostBridgeDxe/$(VBOX_EFI_BUILD_TARGET)/PciHostBridge \
-        ShellPkg/Application/Shell/Shell/$(VBOX_EFI_BUILD_TARGET)/Shell \
-        UefiCpuPkg/CpuDxe/CpuDxe/$(VBOX_EFI_BUILD_TARGET)/CpuDxe \
-        UefiCpuPkg/CpuIo2Dxe/CpuIo2Dxe/$(VBOX_EFI_BUILD_TARGET)/CpuIo2Dxe \
-        VBoxPkg/AcpiPlatformDxe/AcpiPlatformDxe/$(VBOX_EFI_BUILD_TARGET)/AcpiPlatform \
-        VBoxPkg/PartitionDxe/PartitionDxe/$(VBOX_EFI_BUILD_TARGET)/PartitionDxe \
-        VBoxPkg/PlatformPei/PlatformPei/$(VBOX_EFI_BUILD_TARGET)/PlatformPei \
-        VBoxPkg/VBoxAppleSim/VBoxAppleSim/$(VBOX_EFI_BUILD_TARGET)/VBoxAppleSim \
-        VBoxPkg/VBoxFsDxe/VBoxHfs/$(VBOX_EFI_BUILD_TARGET)/VBoxHfs \
-        VBoxPkg/VBoxFsDxe/VBoxIso9660/$(VBOX_EFI_BUILD_TARGET)/VBoxIso9600 \
-        VBoxPkg/VBoxSysTables/VBoxSysTables/$(VBOX_EFI_BUILD_TARGET)/VBoxSysTables \
-        VBoxPkg/VBoxVariable/VBoxVariableRuntimeDxe/$(VBOX_EFI_BUILD_TARGET)/EmuVariableRuntimeDxe \
-        VBoxPkg/VBoxVgaDxe/VBoxVgaDxe/$(VBOX_EFI_BUILD_TARGET)/VBoxVgaDxe \
-        VBoxPkg/VBoxVgaMiniPortDxe/VBoxVgaMiniPortDxe/$(VBOX_EFI_BUILD_TARGET)/VBoxVgaMiniPortDxe \
+        IntelFrameworkModulePkg/Bus/Isa/IsaBusDxe/IsaBusDxe/$(VBOX_EFI_DEBUG_DIR)/IsaBusDxe \
+        IntelFrameworkModulePkg/Bus/Isa/IsaFloppyDxe/IsaFloppyDxe/$(VBOX_EFI_DEBUG_DIR)/IsaFloppyDxe \
+        IntelFrameworkModulePkg/Bus/Isa/IsaIoDxe/IsaIoDxe/$(VBOX_EFI_DEBUG_DIR)/IsaIoDxe \
+        IntelFrameworkModulePkg/Bus/Isa/IsaSerialDxe/IsaSerialDxe/$(VBOX_EFI_DEBUG_DIR)/IsaSerialDxe \
+        IntelFrameworkModulePkg/Bus/Isa/Ps2KeyboardDxe/Ps2keyboardDxe/$(VBOX_EFI_DEBUG_DIR)/Ps2KeyboardDxe \
+        IntelFrameworkModulePkg/Bus/Pci/IdeBusDxe/IdeBusDxe/$(VBOX_EFI_DEBUG_DIR)/IdeBusDxe \
+        IntelFrameworkModulePkg/Universal/BdsDxe/BdsDxe/$(VBOX_EFI_DEBUG_DIR)/BdsDxe \
+        IntelFrameworkModulePkg/Universal/DataHubDxe/DataHubDxe/$(VBOX_EFI_DEBUG_DIR)/DataHubDxe \
+        IntelFrameworkModulePkg/Universal/StatusCode/Pei/StatusCodePei/$(VBOX_EFI_DEBUG_DIR)/StatusCodePei \
+        IntelFrameworkModulePkg/Universal/StatusCode/RuntimeDxe/StatusCodeRuntimeDxe/$(VBOX_EFI_DEBUG_DIR)/StatusCodeRuntimeDxe \
+        MdeModulePkg/Bus/Ata/AtaAtapiPassThru/AtaAtapiPassThru/$(VBOX_EFI_DEBUG_DIR)/AtaAtapiPassThruDxe \
+        MdeModulePkg/Bus/Ata/AtaBusDxe/AtaBusDxe/$(VBOX_EFI_DEBUG_DIR)/AtaBusDxe \
+        MdeModulePkg/Bus/Pci/EhciDxe/EhciDxe/$(VBOX_EFI_DEBUG_DIR)/EhciDxe \
+        MdeModulePkg/Bus/Pci/PciBusDxe/PciBusDxe/$(VBOX_EFI_DEBUG_DIR)/PciBusDxe \
+        MdeModulePkg/Bus/Scsi/ScsiBusDxe/ScsiBusDxe/$(VBOX_EFI_DEBUG_DIR)/ScsiBus \
+        MdeModulePkg/Bus/Scsi/ScsiDiskDxe/ScsiDiskDxe/$(VBOX_EFI_DEBUG_DIR)/ScsiDisk \
+        MdeModulePkg/Bus/Usb/UsbBusDxe/UsbBusDxe/$(VBOX_EFI_DEBUG_DIR)/UsbBusDxe \
+        MdeModulePkg/Bus/Usb/UsbKbDxe/UsbKbDxe/$(VBOX_EFI_DEBUG_DIR)/UsbKbDxe \
+        MdeModulePkg/Bus/Usb/UsbMassStorageDxe/UsbMassStorageDxe/$(VBOX_EFI_DEBUG_DIR)/UsbMassStorageDxe \
+        MdeModulePkg/Core/Dxe/DxeMain/$(VBOX_EFI_DEBUG_DIR)/DxeCore \
+        MdeModulePkg/Core/DxeIplPeim/DxeIpl/$(VBOX_EFI_DEBUG_DIR)/DxeIpl \
+        MdeModulePkg/Core/Pei/PeiMain/$(VBOX_EFI_DEBUG_DIR)/PeiCore \
+        MdeModulePkg/Core/RuntimeDxe/RuntimeDxe/$(VBOX_EFI_DEBUG_DIR)/RuntimeDxe \
+        MdeModulePkg/Universal/Acpi/AcpiTableDxe/AcpiTableDxe/$(VBOX_EFI_DEBUG_DIR)/AcpiTableDxe \
+        MdeModulePkg/Universal/CapsuleRuntimeDxe/CapsuleRuntimeDxe/$(VBOX_EFI_DEBUG_DIR)/CapsuleRuntimeDxe \
+        MdeModulePkg/Universal/Console/ConPlatformDxe/ConPlatformDxe/$(VBOX_EFI_DEBUG_DIR)/ConPlatformDxe \
+        MdeModulePkg/Universal/Console/ConSplitterDxe/ConSplitterDxe/$(VBOX_EFI_DEBUG_DIR)/ConSplitterDxe \
+        MdeModulePkg/Universal/Console/GraphicsConsoleDxe/GraphicsConsoleDxe/$(VBOX_EFI_DEBUG_DIR)/GraphicsConsoleDxe \
+        MdeModulePkg/Universal/Console/TerminalDxe/TerminalDxe/$(VBOX_EFI_DEBUG_DIR)/TerminalDxe \
+        MdeModulePkg/Universal/DevicePathDxe/DevicePathDxe/$(VBOX_EFI_DEBUG_DIR)/DevicePathDxe \
+        MdeModulePkg/Universal/Disk/DiskIoDxe/DiskIoDxe/$(VBOX_EFI_DEBUG_DIR)/DiskIoDxe \
+        MdeModulePkg/Universal/Disk/UnicodeCollation/EnglishDxe/EnglishDxe/$(VBOX_EFI_DEBUG_DIR)/EnglishDxe \
+        MdeModulePkg/Universal/EbcDxe/EbcDxe/$(VBOX_EFI_DEBUG_DIR)/EbcDxe \
+        MdeModulePkg/Universal/FaultTolerantWriteDxe/FaultTolerantWriteDxe/$(VBOX_EFI_DEBUG_DIR)/FaultTolerantWriteDxe \
+        MdeModulePkg/Universal/HiiDatabaseDxe/HiiDatabaseDxe/$(VBOX_EFI_DEBUG_DIR)/HiiDatabase \
+        MdeModulePkg/Universal/MemoryTest/NullMemoryTestDxe/NullMemoryTestDxe/$(VBOX_EFI_DEBUG_DIR)/NullMemoryTestDxe \
+        MdeModulePkg/Universal/Metronome/Metronome/$(VBOX_EFI_DEBUG_DIR)/Metronome \
+        MdeModulePkg/Universal/MonotonicCounterRuntimeDxe/MonotonicCounterRuntimeDxe/$(VBOX_EFI_DEBUG_DIR)/MonotonicCounterRuntimeDxe \
+        MdeModulePkg/Universal/PCD/Dxe/Pcd/$(VBOX_EFI_DEBUG_DIR)/PcdDxe \
+        MdeModulePkg/Universal/PCD/Pei/Pcd/$(VBOX_EFI_DEBUG_DIR)/PcdPeim \
+        MdeModulePkg/Universal/PrintDxe/PrintDxe/$(VBOX_EFI_DEBUG_DIR)/PrintDxe \
+        MdeModulePkg/Universal/ReportStatusCodeRouter/RuntimeDxe/ReportStatusCodeRouterRuntimeDxe/$(VBOX_EFI_DEBUG_DIR)/ReportStatusCodeRouterRuntimeDxe \
+        MdeModulePkg/Universal/SecurityStubDxe/SecurityStubDxe/$(VBOX_EFI_DEBUG_DIR)/SecurityStubDxe \
+        MdeModulePkg/Universal/SetupBrowserDxe/SetupBrowserDxe/$(VBOX_EFI_DEBUG_DIR)/SetupBrowser \
+        MdeModulePkg/Universal/SmbiosDxe/SmbiosDxe/$(VBOX_EFI_DEBUG_DIR)/SmbiosDxe \
+        MdeModulePkg/Universal/StatusCodeHandler/RuntimeDxe/StatusCodeHandlerRuntimeDxe/$(VBOX_EFI_DEBUG_DIR)/StatusCodeHandlerRuntimeDxe \
+        MdeModulePkg/Universal/WatchdogTimerDxe/WatchdogTimer/$(VBOX_EFI_DEBUG_DIR)/WatchdogTimer \
+        OvmfPkg/BlockMmioToBlockIoDxe/BlockIo/$(VBOX_EFI_DEBUG_DIR)/BlockMmioToBlockIoDxe \
+        OvmfPkg/EmuVariableFvbRuntimeDxe/Fvb/$(VBOX_EFI_DEBUG_DIR)/EmuVariableFvbRuntimeDxe \
+        OvmfPkg/Sec/SecMain/$(VBOX_EFI_DEBUG_DIR)/SecMain \
+        OvmfPkg/SmbiosPlatformDxe/SmbiosPlatformDxe/$(VBOX_EFI_DEBUG_DIR)/SmbiosPlatformDxe \
+        PcAtChipsetPkg/8254TimerDxe/8254Timer/$(VBOX_EFI_DEBUG_DIR)/Timer \
+        PcAtChipsetPkg/8259InterruptControllerDxe/8259/$(VBOX_EFI_DEBUG_DIR)/Legacy8259 \
+        PcAtChipsetPkg/Bus/Pci/IdeControllerDxe/IdeControllerDxe/$(VBOX_EFI_DEBUG_DIR)/IdeController \
+        PcAtChipsetPkg/IsaAcpiDxe/IsaAcpi/$(VBOX_EFI_DEBUG_DIR)/IsaAcpi \
+        PcAtChipsetPkg/KbcResetDxe/Reset/$(VBOX_EFI_DEBUG_DIR)/KbcReset \
+        PcAtChipsetPkg/PcatRealTimeClockRuntimeDxe/PcatRealTimeClockRuntimeDxe/$(VBOX_EFI_DEBUG_DIR)/PcRtc \
+        PcAtChipsetPkg/PciHostBridgeDxe/PciHostBridgeDxe/$(VBOX_EFI_DEBUG_DIR)/PciHostBridge \
+        ShellPkg/Application/Shell/Shell/$(VBOX_EFI_DEBUG_DIR)/Shell \
+        UefiCpuPkg/CpuDxe/CpuDxe/$(VBOX_EFI_DEBUG_DIR)/CpuDxe \
+        UefiCpuPkg/CpuIo2Dxe/CpuIo2Dxe/$(VBOX_EFI_DEBUG_DIR)/CpuIo2Dxe \
+        VBoxPkg/AcpiPlatformDxe/AcpiPlatformDxe/$(VBOX_EFI_DEBUG_DIR)/AcpiPlatform \
+        VBoxPkg/PartitionDxe/PartitionDxe/$(VBOX_EFI_DEBUG_DIR)/PartitionDxe \
+        VBoxPkg/PlatformPei/PlatformPei/$(VBOX_EFI_DEBUG_DIR)/PlatformPei \
+        VBoxPkg/VBoxAppleSim/VBoxAppleSim/$(VBOX_EFI_DEBUG_DIR)/VBoxAppleSim \
+        VBoxPkg/VBoxFsDxe/VBoxHfs/$(VBOX_EFI_DEBUG_DIR)/VBoxHfs \
+        VBoxPkg/VBoxFsDxe/VBoxIso9660/$(VBOX_EFI_DEBUG_DIR)/VBoxIso9600 \
+        VBoxPkg/VBoxSysTables/VBoxSysTables/$(VBOX_EFI_DEBUG_DIR)/VBoxSysTables \
+        VBoxPkg/VBoxVariable/VBoxVariableRuntimeDxe/$(VBOX_EFI_DEBUG_DIR)/EmuVariableRuntimeDxe \
+        VBoxPkg/VBoxVgaDxe/VBoxVgaDxe/$(VBOX_EFI_DEBUG_DIR)/VBoxVgaDxe \
+        VBoxPkg/VBoxVgaMiniPortDxe/VBoxVgaMiniPortDxe/$(VBOX_EFI_DEBUG_DIR)/VBoxVgaMiniPortDxe \
 
 # Version of VBOX_EFI_MODULES without directories. (Using $(value ) to avoid