From 00708b669642704c82dc323e52554ac8f46db2f8 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 14 Mar 2014 11:52:38 +0100
Subject: [PATCH] hw: reduce stack size of idle threads

ref #1096
---
 base-hw/src/core/kernel/processor_pool.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-hw/src/core/kernel/processor_pool.h b/base-hw/src/core/kernel/processor_pool.h
index fee399ccf..61c909708 100644
--- a/base-hw/src/core/kernel/processor_pool.h
+++ b/base-hw/src/core/kernel/processor_pool.h
@@ -48,7 +48,7 @@ class Kernel::Idle_thread : public Thread
 	private:
 
 		enum {
-			STACK_SIZE   = 4 * 1024,
+			STACK_SIZE   = sizeof(addr_t) * 32,
 			STACK_ALIGNM = Processor_driver::DATA_ACCESS_ALIGNM,
 		};