Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision d71331bea5345927ef31fc1551b6db3ae620837f)
+++ kernel/Makefile	(revision ff90f5ff632907d5ecfca130f802b91bb0091a56)
@@ -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 \