Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 28896348a964e98e5ddbdde96390f1e253461b14)
+++ kernel/Makefile	(revision 6d351e674a67b6ecee3c205c0f09e29e92b462be)
@@ -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 \