From a99a33e93e068c0f592987b262e440f6a181b2d3 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 26 Feb 2014 16:56:32 +0100 Subject: [PATCH] noux: enhance stack of all noux programs This is done because we ran into a stack overflow while compiling Genodes core/main.cc with GCC in Noux. fix #1075 --- ports/src/lib/libc_noux/plugin.cc | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/ports/src/lib/libc_noux/plugin.cc b/ports/src/lib/libc_noux/plugin.cc index e44f0c1fa4..6eb1f7e093 100644 --- a/ports/src/lib/libc_noux/plugin.cc +++ b/ports/src/lib/libc_noux/plugin.cc @@ -2125,6 +2125,15 @@ void init_libc_noux(void) static Plugin noux_plugin; chdir(noux_cwd.base()); + + /* + * Enhance main-thread stack + * + * This is done because we ran into a stack overflow while compiling + * Genodes core/main.cc with GCC in Noux. + */ + enum { STACK_SIZE = 32UL * 1024 * sizeof(Genode::addr_t) }; + Genode::Thread_base::myself()->stack_size(STACK_SIZE); }