Index: Makefile
===================================================================
--- Makefile	(revision 6a78e84e40c978ede6b0d1cb8b8020c35e98a4eb)
+++ Makefile	(revision b7f364ec06d3f71937db23cb5f58ef39397da7b7)
@@ -145,5 +145,6 @@
 	generic/src/ipc/ipc.c \
 	generic/src/ipc/sysipc.c \
-	generic/src/ipc/ipcrsc.c
+	generic/src/ipc/ipcrsc.c \
+	generic/src/security/cap.c
 
 ## Test sources
