Index: /soft/giet_vm/giet_kernel/kernel_init.c
===================================================================
--- /soft/giet_vm/giet_kernel/kernel_init.c	(revision 372)
+++ /soft/giet_vm/giet_kernel/kernel_init.c	(revision 373)
@@ -126,5 +126,5 @@
 
 __attribute__((section (".kdata"))) 
-volatile static_scheduler_t* _schedulers[NB_PROCS_MAX<<(X_WIDTH+Y_WIDTH)]; // virtual addresses
+volatile static_scheduler_t* _schedulers[NB_PROCS_MAX<<(X_WIDTH+Y_WIDTH)]; 
 
 ////////////////////////////////////////////////////////////////////////////////////