drivers_nic-pc: raise nic drv cap quota

The reason for this was that run/nic_router_disable_arp was failing on
sel4+qemu+x86_64.

Ref #4923
This commit is contained in:
Martin Stein 2023-07-03 14:55:03 +02:00 committed by Norman Feske
parent c05a0eca86
commit 2fb0bfdf85
2 changed files with 2 additions and 2 deletions

View File

@ -103,7 +103,7 @@
</route>
</start>
<start name="nic_drv" caps="200">
<start name="nic_drv" caps="250">
<binary name="pc_nic_drv"/>
<resource name="RAM" quantum="10M"/>
<route>

View File

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