mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
Increase nic_drv RAM quantum
This change is needed to satisfy the increased memory usage of the dde_ipxe nic_drv. Issue #2121.
This commit is contained in:
committed by
Christian Helmuth
parent
3f0dfe7956
commit
6be193cf80
@@ -54,7 +54,7 @@ set config {
|
||||
<provides> <service name="Timer"/> </provides>
|
||||
</start>
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="2M"/>
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides> <service name="Nic"/> </provides>
|
||||
</start>
|
||||
<start name="tcp_terminal">
|
||||
|
||||
@@ -66,7 +66,7 @@ set config {
|
||||
<provides> <service name="Timer"/> </provides>
|
||||
</start>
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="2M"/>
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides> <service name="Nic"/> </provides>
|
||||
</start>
|
||||
<start name="test-lwip_httpsrv_tracing">
|
||||
|
||||
@@ -35,7 +35,7 @@ set config {
|
||||
<provides> <service name="Timer"/> </provides>
|
||||
</start>
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="2M"/>
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides> <service name="Nic"/> </provides>
|
||||
</start>
|
||||
<start name="test-lwip_httpsrv">
|
||||
|
||||
@@ -54,7 +54,7 @@ append config {
|
||||
</start>
|
||||
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="2M"/>
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides><service name="Nic"/></provides>
|
||||
</start>
|
||||
|
||||
|
||||
@@ -177,7 +177,7 @@ proc drivers_start_nodes { feature_arg } {
|
||||
|
||||
append_if [use_nic_drv feature] start_nodes {
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="2M"/>
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides><service name="Nic"/></provides>
|
||||
</start>
|
||||
}
|
||||
|
||||
@@ -47,7 +47,7 @@ append config {
|
||||
<provides><service name="Timer"/></provides>
|
||||
</start>
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="2M"/>
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides><service name="Nic"/></provides>
|
||||
</start>
|
||||
<start name="nic_bridge">
|
||||
|
||||
@@ -47,7 +47,7 @@ append config {
|
||||
<provides><service name="Timer"/></provides>
|
||||
</start>
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="2M"/>
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides><service name="Nic"/></provides>
|
||||
</start>
|
||||
<start name="nic_bridge">
|
||||
|
||||
@@ -98,7 +98,7 @@ append_if $use_usb_driver config {
|
||||
|
||||
append_if $use_nic_driver config {
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="3M"/>
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides><service name="Nic"/></provides>
|
||||
</start> }
|
||||
|
||||
|
||||
Reference in New Issue
Block a user