Index: kernel/arch/abs32le/Makefile.inc
===================================================================
--- kernel/arch/abs32le/Makefile.inc	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/abs32le/Makefile.inc	(revision d9f53877c83a2ddc2668567168e75a24406af55c)
@@ -57,4 +57,5 @@
 	arch/$(KARCH)/src/smp/smp.c \
 	arch/$(KARCH)/src/smp/ipi.c \
+	arch/$(KARCH)/src/mm/km.c \
 	arch/$(KARCH)/src/mm/as.c \
 	arch/$(KARCH)/src/mm/frame.c \