Index: Makefile
===================================================================
--- Makefile	(revision b62948369eebdd55f7f90cbe37736fa42c181871)
+++ Makefile	(revision 2fb49101b3edd232809fe96fa77e9f11f4ce946a)
@@ -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