Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision b60615bd9d3afe6d075036e1b1ebdc9437912cfc)
+++ kernel/Makefile	(revision bfb11794075cbc477be69efdc4d991d5da43960c)
@@ -162,5 +162,4 @@
 GENERIC_SOURCES = \
 	generic/src/adt/bitmap.c \
-	generic/src/adt/btree.c \
 	generic/src/adt/hash_table.c \
 	generic/src/adt/list.c \
@@ -279,5 +278,4 @@
 		test/test.c \
 		test/atomic/atomic1.c \
-		test/btree/btree1.c \
 		test/fault/fault1.c \
 		test/mm/falloc1.c \
@@ -314,5 +312,4 @@
 ifeq ($(CONFIG_TRACE),y)
 	INSTRUMENTED_SOURCES = \
-		generic/src/adt/btree.c \
 		generic/src/cpu/cpu.c \
 		generic/src/ddi/ddi.c \