Index: /soft/giet_vm/giet_boot/boot.c
===================================================================
--- /soft/giet_vm/giet_boot/boot.c	(revision 292)
+++ /soft/giet_vm/giet_boot/boot.c	(revision 293)
@@ -1302,4 +1302,5 @@
             //   must be re-initialised by kernel_parallel_init()
 
+            psched->context[IDLE_TASK_INDEX][CTX_CR_ID]    = 0;
             psched->context[IDLE_TASK_INDEX][CTX_SR_ID]    = 0xFF03;
             psched->context[IDLE_TASK_INDEX][CTX_PTPR_ID]  = _ptabs_paddr[0]>>13;
@@ -1499,4 +1500,5 @@
 
             // initializes the task context in scheduler
+            psched->context[ltid][CTX_CR_ID]    = 0;
             psched->context[ltid][CTX_SR_ID]    = ctx_sr;
             psched->context[ltid][CTX_SP_ID]    = ctx_sp;
@@ -2201,6 +2203,7 @@
     unsigned int kernel_entry = (unsigned int)&seg_kernel_init_base;
 
+#if GIET_DEBUG_INIT
     _tty_get_lock( 0 );
-    _puts("\n[BOOT] Processor[");
+    _puts("\n[BOOT DEBUG] Processor[");
     _putd( cluster_xy >> Y_WIDTH );
     _puts(",");
@@ -2214,4 +2217,5 @@
     _puts("\n");
     _tty_release_lock( 0 );
+#endif
 
     asm volatile( "jr   %0" ::"r"(kernel_entry) );
Index: /soft/giet_vm/giet_common/utils.c
===================================================================
--- /soft/giet_vm/giet_common/utils.c	(revision 292)
+++ /soft/giet_vm/giet_common/utils.c	(revision 293)
@@ -19,5 +19,5 @@
 
 // This global variable is allocated in the boot.c file or in kernel_init.c file
-extern static_scheduler_t* _schedulers[X_SIZE * Y_SIZE * NB_PROCS_MAX];
+extern static_scheduler_t* _schedulers[NB_PROCS_MAX<<(X_WIDTH+Y_WIDTH)];
 
 ///////////////////////////////////////////////////////////////////////////////////
Index: /soft/giet_vm/giet_kernel/kernel_init.c
===================================================================
--- /soft/giet_vm/giet_kernel/kernel_init.c	(revision 292)
+++ /soft/giet_vm/giet_kernel/kernel_init.c	(revision 293)
@@ -408,9 +408,6 @@
 _putx(epc_value);
 _puts("\n");
-_tty_release_lock( 0 );
-#endif
-
-_tty_get_lock( 0 );
-_puts("\n[GIET] Processor[");
+
+_puts("\n[GIET DEBUG] Processor[");
 _putd( cluster_xy >> Y_WIDTH );
 _puts(",");
@@ -424,4 +421,5 @@
 _puts("\n");
 _tty_release_lock( 0 );
+#endif
 
     // Step 7 : set  registers and jump to user code