From 3cc2a3f08563282ea8f0b1ea0a0e9c558e142c12 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 11 Nov 2016 12:30:09 +0100 Subject: [PATCH] terminal: increase stack size --- repos/gems/src/server/terminal/main.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/repos/gems/src/server/terminal/main.cc b/repos/gems/src/server/terminal/main.cc index 887ae813f9..4505c62ed5 100644 --- a/repos/gems/src/server/terminal/main.cc +++ b/repos/gems/src/server/terminal/main.cc @@ -499,12 +499,15 @@ namespace Terminal { } +extern "C" void wait_for_continue(); + int main(int, char **) { using namespace Genode; log("--- terminal service started ---"); + wait_for_continue(); static Framebuffer::Connection framebuffer; static Input::Connection input; @@ -512,7 +515,7 @@ int main(int, char **) static Cap_connection cap; /* initialize entry point that serves the root interface */ - enum { STACK_SIZE = sizeof(addr_t)*1024 }; + enum { STACK_SIZE = 2*sizeof(addr_t)*1024 }; static Rpc_entrypoint ep(&cap, STACK_SIZE, "terminal_ep"); static Sliced_heap sliced_heap(env()->ram_session(), env()->rm_session());