From 438587b3ac9fd26749982d02fc14a3ff2000154d Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 3 Aug 2017 13:54:20 +0200
Subject: [PATCH] increase kernel stack size

---
 cmake/HermitCore-Configuration.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cmake/HermitCore-Configuration.cmake b/cmake/HermitCore-Configuration.cmake
index bd5753eef..2e6f14874 100644
--- a/cmake/HermitCore-Configuration.cmake
+++ b/cmake/HermitCore-Configuration.cmake
@@ -13,7 +13,7 @@ set(MAX_ISLE "8" CACHE STRING
 set(MAX_FNAME "128" CACHE STRING
 	"Define the maximum length of a file name")
 
-set(KERNEL_STACK_SIZE 8192 CACHE STRING
+set(KERNEL_STACK_SIZE 16384 CACHE STRING
 	"Kernel stack size in bytes")
 
 set(DEFAULT_STACK_SIZE 262144 CACHE STRING