diff --git a/repos/ports/run/vm_stress_seoul-debian32.run b/repos/ports/run/vm_stress_seoul-debian32.run index a74b276b5..20bbd1fe1 100644 --- a/repos/ports/run/vm_stress_seoul-debian32.run +++ b/repos/ports/run/vm_stress_seoul-debian32.run @@ -88,8 +88,8 @@ set vmm_name "seoul" set vcpus_to_be_used 1 set use_vcpus $vcpus_to_be_used -lappend results_expected 1 10 35 76 -lappend boottime_expected 54 +lappend results_expected 1 2 20 75 +lappend boottime_expected 51 source ${genode_dir}/repos/ports/run/seoul.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc run_genode_until $match_guest_down 20 [output_spawn_id] @@ -97,8 +97,8 @@ kill_spawned [output_spawn_id] set vcpus_to_be_used 2 set use_vcpus $vcpus_to_be_used -lappend results_expected 2 10 38 47 -lappend boottime_expected 54 +lappend results_expected 2 2 21 46 +lappend boottime_expected 51 source ${genode_dir}/repos/ports/run/seoul.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc run_genode_until $match_guest_down 20 [output_spawn_id] @@ -106,8 +106,8 @@ kill_spawned [output_spawn_id] set vcpus_to_be_used 3 set use_vcpus $vcpus_to_be_used -lappend results_expected 3 10 39 38 -lappend boottime_expected 54 +lappend results_expected 3 2 21 37 +lappend boottime_expected 52 source ${genode_dir}/repos/ports/run/seoul.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc run_genode_until $match_guest_down 20 [output_spawn_id] @@ -115,8 +115,8 @@ kill_spawned [output_spawn_id] set vcpus_to_be_used 4 set use_vcpus $vcpus_to_be_used -lappend results_expected 4 10 36 34 -lappend boottime_expected 54 +lappend results_expected 4 2 23 33 +lappend boottime_expected 53 source ${genode_dir}/repos/ports/run/seoul.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc run_genode_until $match_guest_down 20 [output_spawn_id] diff --git a/repos/ports/run/vm_stress_vbox5-debian32.run b/repos/ports/run/vm_stress_vbox5-debian32.run index 6b4c5715a..939045590 100644 --- a/repos/ports/run/vm_stress_vbox5-debian32.run +++ b/repos/ports/run/vm_stress_vbox5-debian32.run @@ -36,8 +36,8 @@ set use_vbox5_nova 0 set vmm_name "vbox5_gen" set use_vcpus 1 -lappend results_expected 1 13 41 80 -lappend boottime_expected 21 +lappend results_expected 1 3 23 79 +lappend boottime_expected 54 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] @@ -55,29 +55,29 @@ if {[have_spec nova]} { set vmm_name "vbox5_nova" set use_vcpus 1 - lappend results_expected 1 13 36 78 - lappend boottime_expected 26 + lappend results_expected 1 2 22 77 + lappend boottime_expected 58 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] set use_vcpus 2 - lappend results_expected 2 11 35 48 - lappend boottime_expected 25 + lappend results_expected 2 2 22 47 + lappend boottime_expected 58 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] set use_vcpus 3 - lappend results_expected 3 9 39 39 - lappend boottime_expected 26 + lappend results_expected 3 2 22 37 + lappend boottime_expected 58 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] set use_vcpus 4 - lappend results_expected 4 10 41 34 - lappend boottime_expected 27 + lappend results_expected 4 2 21 33 + lappend boottime_expected 58 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] diff --git a/repos/ports/run/vm_stress_vbox5-debian64.run b/repos/ports/run/vm_stress_vbox5-debian64.run index 6155c875a..9134c4484 100644 --- a/repos/ports/run/vm_stress_vbox5-debian64.run +++ b/repos/ports/run/vm_stress_vbox5-debian64.run @@ -36,8 +36,8 @@ set use_vbox5_nova 0 set vmm_name "vbox5_gen" set use_vcpus 1 -lappend results_expected 1 12 50 79 -lappend boottime_expected 21 +lappend results_expected 1 2 25 78 +lappend boottime_expected 24 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] @@ -55,29 +55,29 @@ if {[have_spec nova]} { set vmm_name "vbox5_nova" set use_vcpus 1 - lappend results_expected 1 13 42 76 - lappend boottime_expected 25 + lappend results_expected 1 2 23 76 + lappend boottime_expected 29 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] set use_vcpus 2 - lappend results_expected 2 10 37 47 - lappend boottime_expected 25 + lappend results_expected 2 2 23 46 + lappend boottime_expected 29 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] set use_vcpus 3 - lappend results_expected 3 10 36 40 - lappend boottime_expected 25 + lappend results_expected 3 2 23 38 + lappend boottime_expected 29 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id] set use_vcpus 4 - lappend results_expected 4 10 38 35 - lappend boottime_expected 26 + lappend results_expected 4 2 23 35 + lappend boottime_expected 29 source ${genode_dir}/repos/ports/run/vbox_win.inc source ${genode_dir}/repos/ports/run/vmm_vm_stress.inc kill_spawned [output_spawn_id]