denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

updated multi_gpgpu run script

Browse Source
This commit is contained in:
Marcel Lütke Dreimann
2023-04-28 11:13:00 +02:00
parent c94790fed4
commit f2d0cee927
1 changed files with 23 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
repos/hello_gpgpu/run/multi_gpgpu.run
View File

@@ -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>