Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision d71331bea5345927ef31fc1551b6db3ae620837f)
+++ kernel/Makefile	(revision 3954961e3244230c1f7f8570256342938778edb5)
@@ -252,4 +252,5 @@
 	generic/src/synch/waitq.c \
 	generic/src/synch/futex.c \
+	generic/src/synch/workqueue.c \
 	generic/src/synch/rcu.c \
 	generic/src/smp/ipi.c \
@@ -303,4 +304,7 @@
 		test/synch/semaphore1.c \
 		test/synch/semaphore2.c \
+		test/synch/workqueue1.c \
+		test/synch/workqueue2.c \
+		test/synch/workqueue3.c \
 		test/print/print1.c \
 		test/print/print2.c \