diff --git a/repos/mml/run/blinktree_server.run b/repos/mml/run/blinktree_server.run new file mode 100644 index 0000000000..9129223d17 --- /dev/null +++ b/repos/mml/run/blinktree_server.run @@ -0,0 +1,323 @@ +set build_components { + app/blinktree_server hoitaja +} + + +create_boot_directory +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_nic_pkg] \ + [depot_user]/src/dynamic_rom \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/nic_router \ + [depot_user]/src/vfs_audit \ + [depot_user]/src/vfs_lwip \ + [depot_user]/src/vfs + +build $build_components +set config { + + + + + + + + + + + + + + + + + + + + + + + + + + +} + +append config { + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 2022-07-20 14:30 + + + + + + + + + + + + + + + + + + +} + +install_config $config + +build_boot_image { ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so blinktree_daemon hoitaja } + +append qemu_args "-nographic" +append_qemu_nic_args "host=10.0.2.1,dhcpstart=10.0.2.55,hostfwd=tcp::12345-:12345,hostfwd=tcp::18080-:12345,hostfwd=udp::10007-:7,hostfwd=udp::17070-:7070" + +run_genode_until forever + +set rounds 100 +set succeeded 0 + +for {set r 0} {$r < $rounds} {incr r} { + run_genode_until {\[init -> hoitaja -> blinktree1\] Finished\.} 300 + kill_spawned [output_spawn_id] + incr succeeded +} + +puts "$succeeded of $rounds rounds succeeded." +