diff --git a/repos/hello_gpgpu/run/hello_gpgpu.run b/repos/hello_gpgpu/run/hello_gpgpu.run index 2b5d45aeca..a650b0f05a 100644 --- a/repos/hello_gpgpu/run/hello_gpgpu.run +++ b/repos/hello_gpgpu/run/hello_gpgpu.run @@ -57,7 +57,7 @@ append_platform_drv_config append config { - + @@ -79,5 +79,5 @@ append_platform_drv_boot_modules build_boot_image $boot_modules # qemu stuff -append qemu_args " -nographic -m 4G" +append qemu_args " -nographic -m 16G" run_genode_until "hello gpgpu completed.*\n" 600