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

gdb_monitor.run: increase RAM quota

Browse Source 
Fixes #3667
This commit is contained in:
Christian Prochaska
2020-02-25 18:00:03 +01:00
committed by Christian Helmuth
parent e52802162c
commit 8faa916d93
1 changed files with 2 additions and 2 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="8M"/>
<resource name="RAM" quantum="9M"/>
<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="4M"/>
<preserve name="RAM" quantum="5M"/>
<vfs> <dir name="dev"> <log/> <terminal/> </dir> </vfs>
<libc stdout="/dev/log" stderr="/dev/log"/>
</config>