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

fixed run script

Browse Source
This commit is contained in:
Marcel Lütke Dreimann
2022-08-15 17:45:56 +02:00
parent 3b3a56e347
commit f73641a1d5
1 changed files with 7 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
repos/hello_gpgpu/run/hello_gpgpu.run
View File

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