diff --git a/repos/ealanos/run/blinktree.run b/repos/ealanos/run/blinktree.run new file mode 100644 index 0000000000..3525f5e1ca --- /dev/null +++ b/repos/ealanos/run/blinktree.run @@ -0,0 +1,76 @@ +set build_components { + core init hoitaja timer lib/ld lib/vfs lib/libm lib/libc lib/stdcxx lib/mxtasking app/blinktree_benchmark +} + +build $build_components +create_boot_directory + +install_config { + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 2022-07-20 14:30 + + + + + + + + + + +} + +set boot_modules [build_artifacts] +append boot_modules { fill_randint_workloada mixed_randint_workloada } +build_boot_image $boot_modules + +append qemu_args " -nographic " +#run_genode_until forever + +for {set i 0} { $i < 3000 } { incr i } { + if { ! [catch {run_genode_until "Benchmark finished" 240} result ] } { + incr succeeded + puts "\n $succeeded of 3000 succeeded" + kill_spawned $qemu_spawn_id + } else { + incr failed + kill_spawned $qemu_spawn_id + } +} + +puts "\n $succeeded of $i succeeded. $failed of $i failed." \ No newline at end of file