From e6061a794f110141d47d03b153efec842e4b0b84 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 13 Apr 2016 16:38:33 +0200
Subject: [PATCH] hw: word-width sensitive kernel-stack size

Ref #1937
---
 repos/base-hw/src/core/kernel/cpu.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-hw/src/core/kernel/cpu.cc b/repos/base-hw/src/core/kernel/cpu.cc
index 4d470bb583..561112a7dc 100644
--- a/repos/base-hw/src/core/kernel/cpu.cc
+++ b/repos/base-hw/src/core/kernel/cpu.cc
@@ -195,7 +195,7 @@ Cpu_domain_update::Cpu_domain_update() {
 /**
  * Enable kernel-entry assembly to get an exclusive stack for every CPU
  */
-enum { KERNEL_STACK_SIZE = 64 * 1024 };
+enum { KERNEL_STACK_SIZE = 16 * 1024 * sizeof(Genode::addr_t) };
 Genode::size_t  kernel_stack_size = KERNEL_STACK_SIZE;
 Genode::uint8_t kernel_stack[NR_OF_CPUS][KERNEL_STACK_SIZE]
 __attribute__((aligned(16)));