diff --git a/repos/base/src/core/include/core_env.h b/repos/base/src/core/include/core_env.h index ca98f1986..5e8776c97 100644 --- a/repos/base/src/core/include/core_env.h +++ b/repos/base/src/core/include/core_env.h @@ -39,7 +39,7 @@ class Genode::Core_env : public Env_deprecated { private: - enum { ENTRYPOINT_STACK_SIZE = 2048 * sizeof(Genode::addr_t) }; + enum { ENTRYPOINT_STACK_SIZE = 20 * 1024 }; /* * Initialize the stack area before creating the first thread,