Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
+++ kernel/generic/src/main/kinit.c	(revision 8a64e81e7083acc3dc69cd56c21cca72dd37ca13)
@@ -77,4 +77,5 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
+#include <synch/workqueue.h>
 
 #define ALIVE_CHARS  4
@@ -103,6 +104,11 @@
 	 */
 	thread_detach(THREAD);
-	
+
 	interrupts_disable();
+	
+	/*
+	 * Start processing work queue items. Some may have been queued during boot.
+	 */
+	workq_global_worker_init();
 	
 #ifdef CONFIG_SMP
Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
+++ kernel/generic/src/main/main.c	(revision 8a64e81e7083acc3dc69cd56c21cca72dd37ca13)
@@ -75,4 +75,5 @@
 #include <synch/waitq.h>
 #include <synch/futex.h>
+#include <synch/workqueue.h>
 #include <smp/smp_call.h>
 #include <arch/arch.h>
@@ -249,4 +250,5 @@
 
 	smp_call_init();
+	workq_global_init();
 	clock_counter_init();
 	timeout_init();