From d7c511ad87cb40252996f5707284a12e62bf060d Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 14 Nov 2012 16:34:45 +0100
Subject: [PATCH] base: entrypoint stack size 2048 machine words

This makes the stack fit for 32-bit as well as 64-bit platforms.
---
 base/src/core/include/core_env.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/src/core/include/core_env.h b/base/src/core/include/core_env.h
index d6477809c4..6d90e910e7 100644
--- a/base/src/core/include/core_env.h
+++ b/base/src/core/include/core_env.h
@@ -113,7 +113,7 @@ namespace Genode {
 
 			typedef Synchronized_ram_session<Ram_session_component> Core_ram_session;
 
-			enum { ENTRYPOINT_STACK_SIZE = 8*1024 };
+			enum { ENTRYPOINT_STACK_SIZE = 2048 * sizeof(Genode::addr_t) };
 
 			Core_parent                  _core_parent;
 			Cap_session_component        _cap_session;