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;