diff --git a/cmake/HermitCore-Configuration.cmake b/cmake/HermitCore-Configuration.cmake
index 2e6f14874..bd5753eef 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 16384 CACHE STRING
+set(KERNEL_STACK_SIZE 8192 CACHE STRING
 	"Kernel stack size in bytes")
 
 set(DEFAULT_STACK_SIZE 262144 CACHE STRING