Index: /soft/giet_vm/giet_kernel/kernel_init.c
===================================================================
--- /soft/giet_vm/giet_kernel/kernel_init.c	(revision 378)
+++ /soft/giet_vm/giet_kernel/kernel_init.c	(revision 379)
@@ -133,5 +133,5 @@
 
 __attribute__((section (".kdata"))) 
-volatile unsigned int _idle_stack[X_SIZE * Y_SIZE * NB_PROCS_MAX * 128 ]; 
+volatile unsigned int _idle_stack[X_SIZE * Y_SIZE * NB_PROCS_MAX * 16 ]; 
 
 ////////////////////////////////////////////////////////////////////////////////////