Index: /soft/giet_vm/sys/kernel_init.c
===================================================================
--- /soft/giet_vm/sys/kernel_init.c	(revision 219)
+++ /soft/giet_vm/sys/kernel_init.c	(revision 220)
@@ -217,5 +217,5 @@
     _set_context_slot( IDLE_TASK_INDEX, CTX_RUN_ID,  1 );
     _set_context_slot( IDLE_TASK_INDEX, CTX_SR_ID,   0xFF03 );
-    _set_context_slot( IDLE_TASK_INDEX, CTX_SP_ID,   (unsigned int)_idle_stack + (global_pid<<8) );
+    _set_context_slot( IDLE_TASK_INDEX, CTX_SP_ID,   (unsigned int)_idle_stack + ((global_pid+1)<<8) );
     _set_context_slot( IDLE_TASK_INDEX, CTX_RA_ID,   (unsigned int)&_ctx_eret );
     _set_context_slot( IDLE_TASK_INDEX, CTX_EPC_ID,  (unsigned int)&_ctx_idle );