Index: /soft/giet_vm/giet_boot/boot.c
===================================================================
--- /soft/giet_vm/giet_boot/boot.c	(revision 368)
+++ /soft/giet_vm/giet_boot/boot.c	(revision 369)
@@ -1112,6 +1112,7 @@
 #endif
                     giet_barrier_t* barrier = (giet_barrier_t *) (vobj[vobj_id].vaddr);
-                    barrier->count = vobj[vobj_id].init;
-                    barrier->init = vobj[vobj_id].init;
+                    barrier->count  = vobj[vobj_id].init;
+                    barrier->ntasks = vobj[vobj_id].init;
+                    barrier->sense  = 0;
 #if BOOT_DEBUG_VOBJS
 _puts("          init_value = ");