Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 75b139ff9b51040615599b12a162dab865b3faac)
+++ kernel/Makefile	(revision 6c34be69eef6e892de7663ec0a2bacb932d8c72d)
@@ -279,4 +279,5 @@
 	generic/src/ipc/ops/datawrite.c \
 	generic/src/ipc/ops/debug.c \
+	generic/src/ipc/ops/pagein.c \
 	generic/src/ipc/ops/sharein.c \
 	generic/src/ipc/ops/shareout.c \