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

test-init: increase LOG server cap quota for sel4

Browse Source
This commit is contained in:
Christian Helmuth
2022-02-15 16:43:07 +01:00
parent 8edb7b28a0
commit 1d5af600cc
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/recipes/raw/test-init/test-init.config
View File

@@ -1346,7 +1346,7 @@
<service name="PD"/>
<service name="LOG"/>
</parent-provides>
<default caps="60"/>
<default caps="64"/>
<service name="LOG">
<default-policy> <child name="server"/> </default-policy>
</service>