Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 208db5ac8515f1f9a7936d74f0371c0ba4f5bf48)
+++ kernel/Makefile	(revision cdf6066f21385be78f0b5bbfbdde1d1c20cbed4a)
@@ -161,5 +161,4 @@
 
 GENERIC_SOURCES = \
-	generic/src/adt/avl.c \
 	generic/src/adt/bitmap.c \
 	generic/src/adt/btree.c \
@@ -286,5 +285,4 @@
 		test/btree/btree1.c \
 		test/cht/cht1.c \
-		test/avltree/avltree1.c \
 		test/fault/fault1.c \
 		test/mm/falloc1.c \