ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

net tests: raise nic_drv/drivers cap quota

Browse Source 
Several nightly network-related tests fail currently on sel4/pc because the
new e1000 NIC driver requires more capabilities. The "drivers nic" package
was already adapted to the new requirement but some tests fail to provide
enough caps to the corresponding sub system. This commit tries to fix all
remaining tests.

Ref #4923
This commit is contained in:
Martin Stein 2023-07-18 10:17:49 +02:00 committed by Christian Helmuth
parent 4277bdd3cd
commit b587134a8d
7 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/dde_linux/run/nic_router_uplinks.run
View File

@ -101,7 +101,7 @@ install_config {
</provides>
</start>
<start name="nic_drv" priority="-1" caps="120">
<start name="nic_drv" priority="-1" caps="250">
<binary name="pc_nic_drv"/>
<resource name="RAM" quantum="8M"/>
<route>

2
repos/gems/run/depot_download.run
View File

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

2
repos/libports/run/fetchurl.inc
View File

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

2
repos/libports/run/lwip.run
View File

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

2
repos/libports/run/sntp_client.run
View File

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

2
repos/os/run/ping_nic_router.run
View File

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

2
repos/ports/run/netperf.inc
View File

@ -320,7 +320,7 @@ append config { </wifi_config>
append config {
<start name="nic_drv" caps="1000" managing_system="yes">
<start name="nic_drv" caps="1200" managing_system="yes">
<resource name="RAM" quantum="32M"/>
<binary name="init"/>
<route>