hw: load bender before kernel on grub too

This commit is contained in:
Christian Helmuth 2015-07-09 15:57:34 +02:00 committed by Norman Feske
parent 73f7a95627
commit ce43ed4c17

View File

@ -166,7 +166,8 @@ proc run_boot_dir {binaries} {
puts $fh "timeout 0" puts $fh "timeout 0"
puts $fh "default 0" puts $fh "default 0"
puts $fh "\ntitle Genode on base-hw" puts $fh "\ntitle Genode on base-hw"
puts $fh " kernel /image.elf" puts $fh " kernel /boot/bender"
puts $fh " module /image.elf"
close $fh close $fh
} }