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

nic_dump.run: raise drivers cap quota

Browse Source 
Fixes failing nightly test with x86_64 sel4.

Ref #4923
This commit is contained in:
Martin Stein 2023-07-07 12:58:38 +02:00 committed by Norman Feske
parent cccb763737
commit 9d98e8ac01
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/os/run/nic_dump.run
View File

@ -53,7 +53,7 @@ append config {
<provides><service name="Timer"/></provides> <provides><service name="Timer"/></provides>
</start> </start>
<start name="drivers" caps="1000" managing_system="yes"> <start name="drivers" caps="1200" managing_system="yes">
<resource name="RAM" quantum="32M"/> <resource name="RAM" quantum="32M"/>
<binary name="init"/> <binary name="init"/>
<route> <route>