Index: Makefile
===================================================================
--- Makefile	(revision b62948369eebdd55f7f90cbe37736fa42c181871)
+++ Makefile	(revision 8e75edfb0fee4ce3f20f97408d416ec71bd1d0ab)
@@ -136,5 +136,5 @@
 	generic/src/smp/ipi.c \
 	generic/src/ipc/ipc.c \
-	generic/src/ipc/ns.c
+	generic/src/ipc/sysipc.c
 
 ## Test sources