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