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

nic_router_uplinks.run: raise report-rom caps

Browse Source 
Caused the test to fail on x86_64+pc+sel4.

Ref
This commit is contained in:
Martin Stein 2023-07-27 12:05:50 +02:00 committed by Christian Helmuth
parent 280ca8982b
commit c3c7a01df5
1 changed files with 1 additions and 1 deletions

2
repos/dde_linux/run/nic_router_uplinks.run

@ -51,7 +51,7 @@ install_config {
</default-route>
<default caps="100"/>
<start name="report_rom" caps="70">
<start name="report_rom" caps="200">
<resource name="RAM" quantum="1M"/>
<provides>
<service name="ROM" />