Changes in kernel/generic/src/main/main.c [95d45482:0b5203b] in mainline

File:

• kernel/generic/src/main/main.c (modified) (2 diffs)

kernel/generic/src/main/main.c

@@ -77 +77 @@
 #include <mm/reserve.h>
 #include <synch/waitq.h>
-#include <synch/futex.h>
+#include <synch/syswaitq.h>
 #include <arch/arch.h>
 #include <arch.h>
@@ -278 +278 @@
         task_init();
         thread_init();
-        futex_init();
+        sys_waitq_init();
 
         sysinfo_set_item_data("boot_args", NULL, bargs, str_size(bargs) + 1);