From f2d0cee927af78a90ec219442a9093fc4edb0c1b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?=
 <marcel.luetkedreimann@uos.de>
Date: Fri, 28 Apr 2023 11:13:00 +0200
Subject: [PATCH] updated multi_gpgpu run script

---
 repos/hello_gpgpu/run/multi_gpgpu.run | 30 ++++++++++++++++++++-------
 1 file changed, 23 insertions(+), 7 deletions(-)

diff --git a/repos/hello_gpgpu/run/multi_gpgpu.run b/repos/hello_gpgpu/run/multi_gpgpu.run
index f73494b660..a1dbf9d02b 100644
--- a/repos/hello_gpgpu/run/multi_gpgpu.run
+++ b/repos/hello_gpgpu/run/multi_gpgpu.run
@@ -57,12 +57,12 @@ append_platform_drv_config
 append config {
     <start name="gpgpu" priority="0">
 		<provides> <service name="gpgpu"/> </provides>
-        <resource name="RAM" quantum="8G"/>
+        <resource name="RAM" quantum="12G"/>
     </start>
 	<start name="hello_gpgpu1">
 		<binary name="hello_gpgpu"/>
 		<resource name="RAM" quantum="512M"/>
-		<config bench="1">
+		<config bench="3">
 			<vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
 		</config>
@@ -70,7 +70,7 @@ append config {
 	<start name="hello_gpgpu2">
 		<binary name="hello_gpgpu"/>
 		<resource name="RAM" quantum="512M"/>
-		<config bench="1">
+		<config bench="3">
 			<vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
 		</config>
@@ -78,7 +78,7 @@ append config {
 	<start name="hello_gpgpu3">
 		<binary name="hello_gpgpu"/>
 		<resource name="RAM" quantum="512M"/>
-		<config bench="1">
+		<config bench="3">
 			<vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
 		</config>
@@ -86,7 +86,7 @@ append config {
 	<start name="hello_gpgpu4">
 		<binary name="hello_gpgpu"/>
 		<resource name="RAM" quantum="512M"/>
-		<config bench="1">
+		<config bench="3">
 			<vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
 		</config>
@@ -94,7 +94,7 @@ append config {
 	<start name="hello_gpgpu5">
 		<binary name="hello_gpgpu"/>
 		<resource name="RAM" quantum="512M"/>
-		<config bench="1">
+		<config bench="3">
 			<vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
 		</config>
@@ -102,7 +102,23 @@ append config {
 	<start name="hello_gpgpu6">
 		<binary name="hello_gpgpu"/>
 		<resource name="RAM" quantum="512M"/>
-		<config bench="1">
+		<config bench="3">
+			<vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
+			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+		</config>
+	</start>
+	<start name="hello_gpgpu7">
+		<binary name="hello_gpgpu"/>
+		<resource name="RAM" quantum="512M"/>
+		<config bench="3">
+			<vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
+			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+		</config>
+	</start>
+	<start name="hello_gpgpu8">
+		<binary name="hello_gpgpu"/>
+		<resource name="RAM" quantum="512M"/>
+		<config bench="3">
 			<vfs> <dir name="dev"> <log/> <inline name="rtc">2022-07-20 14:30</inline> </dir> </vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
 		</config>