Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 550b4e03780e7c78c7808ea1a1011c123231918e)
+++ kernel/Makefile	(revision cc8044e9a3afa3a0f66130eb42e516665fc05748)
@@ -220,5 +220,4 @@
 	generic/src/mm/km.c \
 	generic/src/mm/reserve.c \
-	generic/src/mm/buddy.c \
 	generic/src/mm/frame.c \
 	generic/src/mm/page.c \