diff --git a/base-foc/run/env b/base-foc/run/env
index 3bf0242a69..5b311e3b59 100644
--- a/base-foc/run/env
+++ b/base-foc/run/env
@@ -11,6 +11,7 @@
 #
 proc install_pxe_bootloader_to_run_dir { } {
 	exec cp [genode_dir]/tool/boot/pulsar [run_dir]/boot/pulsar
+	exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
 }
 
 ##
@@ -209,7 +210,8 @@ proc build_boot_image_x86 {binaries} {
 	# Generate pulsar config file
 	#
 	set fh [open "[run_dir]/config-52-54-00-12-34-56" "WRONLY CREAT TRUNC"]
-	puts $fh " exec /fiasco/bootstrap -modaddr=0x01100000"
+	puts $fh " exec /boot/bender"
+	puts $fh " load /fiasco/bootstrap -modaddr=0x01100000"
 	puts $fh " load /fiasco/fiasco -serial_esc"
 	puts $fh " load /fiasco/sigma0"
 	puts $fh " load /genode/core"