Index: kernel/arch/ia64/Makefile.inc
===================================================================
--- kernel/arch/ia64/Makefile.inc	(revision cf84f1bfcf4b95cf9de04fc4503c64ddd07c5717)
+++ kernel/arch/ia64/Makefile.inc	(revision 00aece0f4f90a094c54cb53169457a54b87db366)
@@ -52,4 +52,5 @@
 	arch/$(KARCH)/src/ivt.S \
 	arch/$(KARCH)/src/interrupt.c \
+	arch/$(KARCH)/src/mm/km.c \
 	arch/$(KARCH)/src/mm/as.c \
 	arch/$(KARCH)/src/mm/frame.c \