diff --git a/repos/os/run/cpu_balancer.run b/repos/os/run/cpu_balancer.run index 5add4f1d65..b3e1abd7ba 100644 --- a/repos/os/run/cpu_balancer.run +++ b/repos/os/run/cpu_balancer.run @@ -86,8 +86,8 @@ install_config { +--> @@ -100,10 +100,10 @@ install_config { trace="} $use_trace {" verbose="no"> - + @@ -174,4 +174,4 @@ build_boot_image [build_artifacts] append qemu_args " -nographic" append qemu_args " -smp [expr $cpu_width * $cpu_height],cores=$cpu_width,threads=$cpu_height" -run_genode_until {.*thread xpos="[1-9]" ypos="0" name="signal handler" policy="max-utilize".*\n} 60 +run_genode_until {.*thread xpos="[1-9]" ypos="0" name="signal handler" policy="pin".*\n} 60