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