diff --git a/repos/hello_gpgpu/run/multi_gpgpu.run b/repos/hello_gpgpu/run/multi_gpgpu.run index f1dc77a167..c86cb0f487 100644 --- a/repos/hello_gpgpu/run/multi_gpgpu.run +++ b/repos/hello_gpgpu/run/multi_gpgpu.run @@ -87,4 +87,4 @@ build_boot_image $boot_modules # qemu stuff append qemu_args " -nographic -m 16G" -run_genode_until "hello gpgpu completed.*\n" 600 +run_genode_until forever