From 32fb7bbddd7559f8a8664896408b59ac625726f6 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Mon, 10 Jun 2013 10:40:07 +0200 Subject: [PATCH] foc: add 'bender' to pulsar run script Depends on - https://github.com/ssumpf/foc/pull/4 - which adds BDA read out of I/O ports to FOC kernel. Issue #768 --- base-foc/run/env | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/base-foc/run/env b/base-foc/run/env index 3bf0242a6..5b311e3b5 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"