hw: word-width sensitive kernel-stack size

Ref #1937
2016-04-13 16:38:33 +02:00 · 2016-04-13 16:38:33 +02:00 · e6061a794f
parent 5b12034531
commit e6061a794f
1 changed files with 1 additions and 1 deletions
--- 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)));