From e2889f3f119a42a7165b4e1091fe18f5378ea239 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 15 Jan 2013 15:47:58 +0100
Subject: [PATCH] Increase signal handler stack size

Fixes #616.
---
 base/src/base/signal/signal.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/src/base/signal/signal.cc b/base/src/base/signal/signal.cc
index a7b3cea6e..53a22316c 100644
--- a/base/src/base/signal/signal.cc
+++ b/base/src/base/signal/signal.cc
@@ -32,7 +32,7 @@ static Signal_connection *signal_connection()
  ** Process-wide connection to core's signal service **
  ******************************************************/
 
-enum { STACK_SIZE = 4096 };
+enum { STACK_SIZE = 2*1024*sizeof(addr_t) };
 
 class Signal_handler_thread : Thread<STACK_SIZE>, Lock
 {