Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 62ca560dd1468a2f5b122d9ee3473a376d048bae)
+++ kernel/Makefile	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
@@ -208,5 +208,5 @@
 	generic/src/mm/backend_user.c \
 	generic/src/mm/slab.c \
-	generic/src/lib/func.c \
+	generic/src/lib/halt.c \
 	generic/src/lib/mem.c \
 	generic/src/lib/memfnc.c \