From 5a482d18c02c097dfba87b2318cf2f52dae64789 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?= Date: Wed, 4 Jan 2023 15:33:38 +0100 Subject: [PATCH] multi_gpgpu script: run forever --- repos/hello_gpgpu/run/multi_gpgpu.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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