From 28744cebf7338d9dc799f1891de137d52601cf2b Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 1 Jun 2012 15:05:49 +0200
Subject: [PATCH] Increase dde_ipxe 'nic_ep' thread stack size

Fixes #228.
---
 dde_ipxe/src/drivers/nic/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dde_ipxe/src/drivers/nic/main.cc b/dde_ipxe/src/drivers/nic/main.cc
index 9775076dd..d66d96c71 100644
--- a/dde_ipxe/src/drivers/nic/main.cc
+++ b/dde_ipxe/src/drivers/nic/main.cc
@@ -123,7 +123,7 @@ int main(int, char **)
 	 */
 	static Ipxe::Driver_factory driver_factory;
 
-	enum { STACK_SIZE = 4096 };
+	enum { STACK_SIZE = 2*sizeof(addr_t)*1024 };
 	static Cap_connection cap;
 	static Rpc_entrypoint ep(&cap, STACK_SIZE, "nic_ep");