sel4: add "norelocate" option to bender

Issue #2044

tool/boot/README

@@ -7,7 +7,8 @@ code respectively the download source of binaries are described below.
   The 'bender' tool is part of the 'morbo' toolchain available under GPL.
   The toolchain was obtained from https://github.com/TUD-OS/morbo.
   For Genode the bender was modified so that binaries are only relocated up
-  to 2G physical.
+  to 2G physical. Relocation can be disabled by the commandline option
+  "norelocate".
   The changes are available on the genode_bender branch of
   https://github.com/alex-ab/morbo.git.
 

tool/run/boot_dir/sel4

@@ -173,7 +173,8 @@ proc run_boot_dir {binaries} {
 		puts $fh "timeout 0"
 		puts $fh "default 0"
 		puts $fh "\ntitle Genode on seL4"
-		puts $fh " kernel /sel4"
+		puts $fh " kernel /boot/bender norelocate"
+		puts $fh " module /sel4"
 		puts $fh " module /image.elf"
 
 		close $fh
@@ -191,7 +192,7 @@ proc run_boot_dir {binaries} {
 		# Generate pulsar config file
 		#
 		set fh [open "[run_dir]/config-52-54-00-12-34-56" "WRONLY CREAT TRUNC"]
-		puts $fh " exec /boot/bender"
+		puts $fh " exec /boot/bender norelocate"
 		puts $fh " load /sel4"
 		puts $fh " load /image.elf"
 		close $fh