Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 550b4e03780e7c78c7808ea1a1011c123231918e)
+++ kernel/Makefile	(revision 30e8ab4aca2907c8cfce26fe7f77013ae5083be8)
@@ -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 \