From c6ec2c1dd7ae2553b5eaf03e278f0aa4193d8e43 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 6 May 2019 14:54:59 +0200
Subject: [PATCH] libc_terminal plugin: increase stack

Issue #3111
---
 repos/libports/src/lib/libc_terminal/plugin.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 
 
 	/**