Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision 1f5c9c96476a03a43ef971cbc095c9553338eaf6)
+++ kernel/arch/ia32/Makefile.inc	(revision f2b3d3ea3dc1fbb7a2312b326613bcc88a3bfaf5)
@@ -99,4 +99,5 @@
 	arch/$(KARCH)/src/userspace.c \
 	arch/$(KARCH)/src/cpu/cpu.c \
+	arch/$(KARCH)/src/mm/km.c \
 	arch/$(KARCH)/src/mm/as.c \
 	arch/$(KARCH)/src/mm/frame.c \