diff --git a/repos/gems/run/tresor_tester.run b/repos/gems/run/tresor_tester.run index 87e5833efb..6b2ebdc5ef 100644 --- a/repos/gems/run/tresor_tester.run +++ b/repos/gems/run/tresor_tester.run @@ -22,34 +22,6 @@ proc lx_tresor_image_size_mb { } { return 400 } -proc benchmark_blk_count { } { - - if {[have_board linux]} { - - # benchmarks over 50 mebibyte - return 12800 - } - if {[have_board virt_qemu_arm_v8a]} { - - # benchmarks over 25 mebibyte - return 6400 - } - # benchmarks turned off - return 0 -} - -proc block_io_vfs_ram_mb { } { - - if {[benchmark_blk_count] > 0} { - - # when benchmarks turned on - set bench_mb [expr (([benchmark_blk_count] * 4096) / 1024 / 1024)] - return [expr 8 * $bench_mb] - } - # when benchmarks turned off - return 36 -} - proc jent_avail { } { if {[have_board pbxa9]} { return 0 } @@ -155,7 +127,7 @@ if {[have_board linux]} { - + @@ -236,51 +208,19 @@ append config { - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -293,7 +233,7 @@ append config { - + @@ -308,14 +248,14 @@ append config { - + - + @@ -324,253 +264,137 @@ append config { - - - + + - - + - - - - - + + - - + - - - - + - - - - - - + + - + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - + - + - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - + - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - + - - + + - - - - + - - - + - - - - - + @@ -584,7 +408,7 @@ append config { - + @@ -599,7 +423,7 @@ append config { - + @@ -608,9 +432,11 @@ append config { - + } - +append_if [have_board linux] config { + + @@ -622,11 +448,11 @@ append config { - + - + @@ -634,7 +460,7 @@ append config { - + @@ -643,27 +469,21 @@ append config { -} -if {[benchmark_blk_count] > 0} { - - append config { - - - + - + - + - + @@ -1084,24 +904,8 @@ if {[benchmark_blk_count] > 0} { } -} else { - - append config { - - - } -} append config { - - - - - - - - - @@ -1119,8 +923,7 @@ append config { - -} + } install_config $config @@ -1148,7 +951,7 @@ build_boot_image $boot_modules append qemu_args " -nographic " set test_timeout 200 -if {[benchmark_blk_count] > 0} { +if {[have_board linux]} { set test_timeout 300 } run_genode_until "child \"test\" exited with exit value.*\n" $test_timeout