Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 28896348a964e98e5ddbdde96390f1e253461b14)
+++ kernel/Makefile	(revision c32b6f035e31fd032734df1b3cb93836d49b9c3b)
@@ -237,4 +237,5 @@
 	generic/src/mm/backend_elf.c \
 	generic/src/mm/backend_phys.c \
+	generic/src/mm/backend_user.c \
 	generic/src/mm/slab.c \
 	generic/src/lib/func.c \