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

Adjust test-libc_fifo_pipe cap quota for seL4

Browse Source
This commit is contained in:
Norman Feske
2021-04-14 11:39:53 +02:00
parent 80cf47d906
commit 4546148ab7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/libports/recipes/pkg/test-libc_fifo_pipe/runtime
View File

@@ -146,7 +146,7 @@
</route>
</start>
<start name="init" caps="200">
<start name="init" caps="250">
<resource name="RAM" quantum="16M"/>
<route>
<service name="ROM" label="config"> <child name="report_rom" label="init.config"/> </service>