From f73641a1d56fb498cffbaa421d5c7400ed45a5d4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?=
 <marcel.luetkedreimann@uos.de>
Date: Mon, 15 Aug 2022 17:45:56 +0200
Subject: [PATCH] fixed run script

---
 repos/hello_gpgpu/run/hello_gpgpu.run | 18 +++++++-----------
 1 file changed, 7 insertions(+), 11 deletions(-)

diff --git a/repos/hello_gpgpu/run/hello_gpgpu.run b/repos/hello_gpgpu/run/hello_gpgpu.run
index c6c8f1f353..6ef6ac21ac 100644
--- a/repos/hello_gpgpu/run/hello_gpgpu.run
+++ b/repos/hello_gpgpu/run/hello_gpgpu.run
@@ -42,10 +42,6 @@ append config {
 			<any-service> <parent/> <any-child/> </any-service>
 		</default-route>
 		<default caps="200"/>
-		<start name="gpgpu">
-			<resource name="RAM" quantum="10M"/>
-			<provides><service name="gpgpu"/></provides>
-		</start>
 		<start name="timer">
 			<resource name="RAM" quantum="1M"/>
 			<provides><service name="Timer"/></provides>
@@ -53,13 +49,6 @@ append config {
 				<any-service><parent/><any-child/></any-service>
 			</route>
 		</start>
-		<start name="hello_gpgpu">
-			<resource name="RAM" quantum="1024M"/>
-			<config>
-				<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>
 }
 
 append_platform_drv_config
@@ -69,6 +58,13 @@ append config {
 		<provides> <service name="gpgpu"/> </provides>
         <resource name="RAM" quantum="32M"/>
     </start>
+	<start name="hello_gpgpu">
+		<resource name="RAM" quantum="1024M"/>
+		<config>
+			<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>
 </config>}
 
 install_config $config