diff --git a/repos/ports/src/lib/libc_noux/plugin.cc b/repos/ports/src/lib/libc_noux/plugin.cc index 040fcb8ca..faa53170a 100644 --- a/repos/ports/src/lib/libc_noux/plugin.cc +++ b/repos/ports/src/lib/libc_noux/plugin.cc @@ -29,6 +29,9 @@ #include #include +/* libc component includes */ +#include + /* libc includes */ #include #include @@ -79,6 +82,15 @@ namespace Libc { */ Genode::Xml_node config() { return Xml_node(""); } Genode::Xml_node vfs_config() { return Xml_node(""); } + + /* + * Enhance main-thread stack + * + * This is done because we ran into a stack overflow while compiling + * Genodes core with GCC in Noux. + */ + enum { STACK_SIZE = 64UL * 1024 * sizeof(Genode::addr_t) }; + Genode::size_t Component::stack_size() { return STACK_SIZE; } } @@ -2334,15 +2346,6 @@ void Plugin::init(Genode::Env &env) genode_envp = environ; 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::myself()->stack_size(STACK_SIZE); }