From 33f64343e1f8d7026b9a4ab7359920b9783ba548 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 21 May 2014 16:12:00 +0200
Subject: [PATCH] core: make parent EP stack size depend on addr_t

Make the stack size of core's parent entrypoint thread depend on
sizeof(addr_t).

Fixes #1152.
---
 repos/base/src/core/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/src/core/main.cc b/repos/base/src/core/main.cc
index 98088475c..a426bb50a 100644
--- a/repos/base/src/core/main.cc
+++ b/repos/base/src/core/main.cc
@@ -110,7 +110,7 @@ class Core_child : public Child_policy
 		 * Entry point used for serving the parent interface
 		 */
 		Rpc_entrypoint _entrypoint;
-		enum { STACK_SIZE = 8*1024 };
+		enum { STACK_SIZE = 2 * 1024 * sizeof(Genode::addr_t)};
 
 		Service_registry &_local_services;