sel4: adjust nic_drv quota in noux_net_netcat

This commit is contained in:
Alexander Boettcher 2016-11-07 13:32:45 +01:00 committed by Christian Helmuth
parent a3e11a60c0
commit 30780a1127

View File

@ -104,7 +104,7 @@ append config {
append_if $use_nic_driver config {
<start name="nic_drv">
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="5M"/>
<provides> <service name="Nic"/> </provides>
</start>}