alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gdb_monitor: increase RAM quota in run scripts

Browse Source
This commit is contained in:
Christian Prochaska
2017-11-27 13:20:11 +01:00
committed by Christian Helmuth
parent 057749a3a9
commit e6a638e78c
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/ports/run/gdb_monitor.run
View File

@@ -66,7 +66,7 @@ set config {
</config>
</start>
<start name="gdb_monitor" caps="200">
<resource name="RAM" quantum="7M"/>
<resource name="RAM" quantum="8M"/>
<config>
<target name="test-gdb_monitor">
<config>
@@ -74,7 +74,7 @@ set config {
<libc stdout="/dev/log" stderr="/dev/log"/>
</config>
</target>
<preserve name="RAM" quantum="3M"/>
<preserve name="RAM" quantum="4M"/>
<vfs> <dir name="dev"> <log/> </dir> </vfs>
<libc stdout="/dev/log" stderr="/dev/log"/>
</config>

4
repos/ports/run/gdb_monitor_interactive.run
View File

@@ -54,7 +54,7 @@ set config {
</config>
</start>
<start name="gdb_monitor" caps="200">
<resource name="RAM" quantum="7M"/>
<resource name="RAM" quantum="8M"/>
<config>
<target name="test-gdb_monitor">
<config>
@@ -62,7 +62,7 @@ set config {
<libc stdout="/dev/log" stderr="/dev/log"/>
</config>
</target>
<preserve name="RAM" quantum="3M"/>
<preserve name="RAM" quantum="4M"/>
<vfs> <dir name="dev"> <log/> </dir> </vfs>
<libc stdout="/dev/log" stderr="/dev/log"/>
</config>