Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
+++ kernel/generic/src/main/kinit.c	(revision ff90f5ff632907d5ecfca130f802b91bb0091a56)
@@ -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 ff90f5ff632907d5ecfca130f802b91bb0091a56)
@@ -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();