Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 018d957e20e03bd2a5c78e93cd9916eb0d1d222b)
+++ generic/src/main/main.c	(revision e1be3b6b980efbd59c66cd0b6f3c2dc4a505b824)
@@ -51,4 +51,5 @@
 #include <mm/slab.h>
 #include <synch/waitq.h>
+#include <synch/futex.h>
 #include <arch/arch.h>
 #include <arch.h>
@@ -65,5 +66,5 @@
 
 config_t config;	/**< Global configuration structure. */
-init_t init = {0};  /**< Initial user-space tasks */
+init_t init = {0};  	/**< Initial user-space tasks */
 
 context_t ctx;
@@ -144,6 +145,8 @@
 	task_t *k;
 	thread_t *t;
+	count_t i;
 	
 	the_initialize(THE);
+
 	/*
 	 * kconsole data structures must be initialized very early
@@ -188,10 +191,11 @@
 	task_init();
 	thread_init();
-	
-	count_t i;
+	futex_init();
+	
 	for (i = 0; i < init.cnt; i++)
 		printf("init[%d].addr=%P, init[%d].size=%d\n", i, init.tasks[i].addr, i, init.tasks[i].size);
 	
 	ipc_init();
+
 	/*
 	 * Create kernel task.