Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision f5b4fb9e3f8394a50dce063b7a44b6e5b2ab1468)
+++ kernel/Makefile	(revision 0d65d76675845d96ddff8e5f335ec3d5c995ca08)
@@ -196,4 +196,5 @@
 
 GENERIC_SOURCES = \
+	generic/src/adt/avl.c \
 	generic/src/adt/bitmap.c \
 	generic/src/adt/btree.c \
@@ -273,4 +274,5 @@
 		test/atomic/atomic1.c \
 		test/btree/btree1.c \
+		test/avltree/avltree1.c \
 		test/debug/mips1.c \
 		test/fault/fault1.c \