diff --git a/repos/libports/src/lib/libc_terminal/plugin.cc b/repos/libports/src/lib/libc_terminal/plugin.cc index 50838f46a8..fbc65b4fa8 100644 --- a/repos/libports/src/lib/libc_terminal/plugin.cc +++ b/repos/libports/src/lib/libc_terminal/plugin.cc @@ -35,7 +35,7 @@ extern void (*libc_select_notify)(); namespace { - typedef Genode::Thread_deprecated<4096> Read_sigh_thread; + typedef Genode::Thread_deprecated<8192> Read_sigh_thread; /**