From 9a4887dcad2952316f141d0abd3631c1af7aeb03 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Fri, 22 Mar 2013 19:50:47 +0100 Subject: [PATCH] New 'l4linux_dynamic.run' script This run script allows the user to dynamically start and stop L4Linux instances using a command-line interface over a serial line. --- ports-foc/run/l4linux_dynamic.run | 287 ++++++++++++++++++++++++++++++ 1 file changed, 287 insertions(+) create mode 100644 ports-foc/run/l4linux_dynamic.run diff --git a/ports-foc/run/l4linux_dynamic.run b/ports-foc/run/l4linux_dynamic.run new file mode 100644 index 000000000..6de17dd07 --- /dev/null +++ b/ports-foc/run/l4linux_dynamic.run @@ -0,0 +1,287 @@ +assert_spec foc + +# +# Build +# +set build_components { + core + init + drivers/usb + drivers/timer + drivers/uart + drivers/sd_card + server/terminal_mux + server/terminal_log + server/nic_bridge + server/part_blk + drivers/framebuffer + app/cli_monitor + test/affinity + test/input + test/lwip/http_srv + test/block + l4linux +} + +build $build_components +create_boot_directory + +# +# Config +# +set config { + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +} + +append config { + +} + +install_config $config + +# +# Boot modules +# +set boot_modules { + core + init + timer + kdb_uart_drv + terminal_mux + terminal_log + ld.lib.so + libc.lib.so + libc_terminal.lib.so + libc_log.lib.so + lwip.lib.so + ncurses.lib.so + cli_monitor + l4linux + initrd.gz + test-affinity + usb_drv + test-input + test-lwip_httpsrv + nic_bridge + sd_card_drv + test-block + part_blk +} + +if {[have_spec x86]} { + set uri "http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz" +} elseif {[have_spec arm]} { + set uri "http://genode.org/files/release-11.11/l4lx/initrd-arm.gz" +} +if {![file exists bin/initrd.gz]} { + puts "Download initramfs ..." + exec >& /dev/null wget -c -O bin/initrd.gz $uri +} + +set fiasco_serial_esc_arg "" + +build_boot_image [join $boot_modules " "] + +# +# Qemu +# +append qemu_args " -m 512 -nographic " +append_if [have_spec x86] qemu_args " -smp 2,cores=2 " + +# +# Execute test case +# +run_genode_until forever