Index: /soft/giet_vm/giet_kernel/kernel_init.c
===================================================================
--- /soft/giet_vm/giet_kernel/kernel_init.c	(revision 384)
+++ /soft/giet_vm/giet_kernel/kernel_init.c	(revision 385)
@@ -129,5 +129,5 @@
 
 ////////////////////////////////////////////////////////////////////////////////////
-// staks for the "idle" tasks (512 bytes for each processor)
+// stacks for the "idle" tasks (64 bytes for each processor)
 ////////////////////////////////////////////////////////////////////////////////////
 
@@ -297,5 +297,5 @@
     unsigned int p = ((x * Y_SIZE) + y) * NB_PROCS_MAX + lpid; 
 
-    unsigned int stack = (unsigned int)_idle_stack + ((p + 1)<<9);
+    unsigned int stack = (unsigned int)_idle_stack + ((p + 1) * 64);
 
     _set_task_slot( global_pid, IDLE_TASK_INDEX, CTX_SP_ID,  stack);