Index: /soft/giet_vm/giet_kernel/kernel_init.c
===================================================================
--- /soft/giet_vm/giet_kernel/kernel_init.c	(revision 273)
+++ /soft/giet_vm/giet_kernel/kernel_init.c	(revision 274)
@@ -61,5 +61,5 @@
 
 __attribute__((section (".kdata"))) 
-static_scheduler_t* _schedulers[X_SIZE*Y_SIZE * NB_PROCS_MAX];   // virtual addresses
+static_scheduler_t* _schedulers[NB_PROCS_MAX<<(X_WIDTH+Y_WIDTH)];   // virtual addresses
 
 ////////////////////////////////////////////////////////////////////////////////////