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

NOT FOR MASTER "depot_autopilot.run: raise depot autopilot quota"

Browse Source 
Ref #3238
This commit is contained in:
Martin Stein 2019-03-21 19:22:45 +01:00 committed by Christian Helmuth
parent 3b9687f528
commit e42814dccb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/gems/run/depot_autopilot.run
View File

@ -359,7 +359,7 @@ proc prepare_to_run_genode { } {
</start>
<start name="depot_autopilot" priority="-1">
<resource name="RAM" quantum="2M"/>
<resource name="RAM" quantum="10M"/>
<provides> <service name="LOG"/> </provides>
<config repeat="} $test_repeat {" arch="} [depot_spec] {" children_label_prefix="dynamic -> ">
<static>