From 3620d889ac1d77ce1fb2a7fbe6a74b68f18a0608 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 20 Sep 2013 09:13:34 +0200
Subject: [PATCH] nic bridge: Increase entry-point stack size

4K stack on 32 bit does not suffice for G++ exception handling.
---
 os/src/server/nic_bridge/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/src/server/nic_bridge/main.cc b/os/src/server/nic_bridge/main.cc
index b04cbda5e0..7ac837bf92 100644
--- a/os/src/server/nic_bridge/main.cc
+++ b/os/src/server/nic_bridge/main.cc
@@ -38,7 +38,7 @@ int main(int, char **)
 	} catch(...) {}
 
 	try {
-		enum { STACK_SIZE = 1024*sizeof(Genode::addr_t) };
+		enum { STACK_SIZE = 2048*sizeof(Genode::addr_t) };
 		static Cap_connection cap;
 		static Rpc_entrypoint ep(&cap, STACK_SIZE, "nic_bridge_ep");
 		static Net::Root      nic_root(&ep, env()->heap());