ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-02 09:18:18 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Adjust gcov cap quota for seL4

Browse Source
This commit is contained in:
Norman Feske 2021-04-15 12:08:54 +02:00
parent 70281715c6
commit 46ca576eac
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/libports/recipes/pkg/gcov/runtime
View File

@ -29,7 +29,7 @@
<default-route>
<any-service> <parent/> </any-service>
</default-route>
<default caps="150"/>
<default caps="175"/>
<start name="gcov">
<resource name="RAM" quantum="10M"/>
<config>