diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index 4fa0b8d571..7d4de22f63 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -572,7 +572,7 @@ proc prepare_to_run_genode { } { set last_test_pkg "" set last_test_timed_out 0 set serial_id -1 - set timeout 20 + set timeout 40 append qemu_args "-nographic -serial mon:stdio " }