Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision bed67f2ae97127b56bd5c4ed93eb9badf151bb8e)
+++ kernel/Makefile	(revision aae365bc823f3137811d2c48089c150e81c40606)
@@ -163,5 +163,4 @@
 	generic/src/adt/bitmap.c \
 	generic/src/adt/btree.c \
-	generic/src/adt/cht.c \
 	generic/src/adt/hash_table.c \
 	generic/src/adt/list.c \
@@ -229,6 +228,4 @@
 	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 \
 	generic/src/smp/smp.c \
@@ -283,5 +280,4 @@
 		test/atomic/atomic1.c \
 		test/btree/btree1.c \
-		test/cht/cht1.c \
 		test/fault/fault1.c \
 		test/mm/falloc1.c \
@@ -292,7 +288,4 @@
 		test/synch/semaphore1.c \
 		test/synch/semaphore2.c \
-		test/synch/workqueue2.c \
-		test/synch/workqueue3.c \
-		test/synch/rcu1.c \
 		test/print/print1.c \
 		test/print/print2.c \