From 226ff0830451017657c2a06bbbf50a347b4034df Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 27 Feb 2017 10:20:39 +0100
Subject: [PATCH] core: increase stack size of init-child entrypoint

With the commit "init: session-label rewriting", the stack usage
increased due to the handling of session-label strings as local
variables. The stack overrun occurred in the vmm scenario on
base-hw.
---
 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 07a70eb4e9..1deed2fbe4 100644
--- a/repos/base/src/core/main.cc
+++ b/repos/base/src/core/main.cc
@@ -121,7 +121,7 @@ class Core_child : public Child_policy
 		 * Entry point used for serving the parent interface
 		 */
 		Rpc_entrypoint _entrypoint;
-		enum { STACK_SIZE = 2 * 1024 * sizeof(Genode::addr_t)};
+		enum { STACK_SIZE = 4 * 1024 * sizeof(Genode::addr_t)};
 
 		Registry<Service> &_services;