diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index 2abf560a7..81b9b1cce 100644
--- a/tool/run/boot_dir/hw
+++ b/tool/run/boot_dir/hw
@@ -166,7 +166,8 @@ proc run_boot_dir {binaries} {
 		puts $fh "timeout 0"
 		puts $fh "default 0"
 		puts $fh "\ntitle Genode on base-hw"
-		puts $fh " kernel /image.elf"
+		puts $fh " kernel /boot/bender"
+		puts $fh " module /image.elf"
 		close $fh
 	}