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