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
This commit is contained in:
Alexander Boettcher 2013-06-10 10:40:07 +02:00 committed by Norman Feske
parent c61d832ae3
commit 32fb7bbddd

View File

@ -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"