From ce43ed4c17fd524f5bd87c928872aab224d38805 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 9 Jul 2015 15:57:34 +0200
Subject: [PATCH] hw: load bender before kernel on grub too

---
 tool/run/boot_dir/hw | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index 2abf560a7f..81b9b1ccee 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
 	}