From 24e2310c36da6886171d2413a9ac72e6cd504a65 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 5 Sep 2013 12:12:33 +0200
Subject: [PATCH] seoul: Adjust nic_bridge quota
---
ports/run/seoul.inc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ports/run/seoul.inc b/ports/run/seoul.inc
index 9d4d6b8d42..17ae94bc3b 100644
--- a/ports/run/seoul.inc
+++ b/ports/run/seoul.inc
@@ -200,7 +200,7 @@ append_if $use_nic_session config {
append_if [expr $use_nic_session && $use_nic_bridge] config {
<start name="nic_bridge">
- <resource name="RAM" quantum="3M"/>
+ <resource name="RAM" quantum="4M"/>
<provides><service name="Nic"/></provides>
<route>
<service name="Nic"><child name="nic_drv"/></service>