Index: /trunk/Config.kmk
===================================================================
--- /trunk/Config.kmk	(revision 23591)
+++ /trunk/Config.kmk	(revision 23592)
@@ -420,4 +420,8 @@
 # Enable EFI support
 VBOX_WITH_EFI = 1
+# Fetch EFI firmware image from the build server  
+# VBOX_WITH_EFI_FIRMWARE_SERVER = 1
+# Revision of EFI firmware to use, need VBOX_WITH_EFI_FIRMWARE_SERVER enabled
+# VBOX_EFI_FW_REV=9330
 # Enable SCSI drivers
 VBOX_WITH_SCSI = 1
Index: /trunk/src/VBox/Devices/EFI/Thunk/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Devices/EFI/Thunk/Makefile.kmk	(revision 23591)
+++ /trunk/src/VBox/Devices/EFI/Thunk/Makefile.kmk	(revision 23592)
@@ -62,4 +62,17 @@
 endef
 
+ifdef VBOX_WITH_EFI_FIRMWARE_SERVER
+#
+# Installation firmware from server
+#
+INSTALLS += vboxefi.fv
+vboxefi.fv_MODE = 755
+vboxefi.fv_INST = $(INST_BIN)/vboxefi.fv
+vboxefi.fv_SOURCES = $(PATH_DEVTOOLS)/common/VBoxEfiFirmware/$(VBOX_EFI_REV)/FV/VBOX.fd
+
+$$(PATH_vboxefi.fv)/vboxefi.fv: $(PATH_DEVTOOLS)/common/VBoxEfiFirmware/$(VBOX_EFI_REV)/FV/VBOX.fd
+	$(CP) -v $< $@
+endif
+
 
 include $(KBUILD_PATH)/subfooter.kmk