Index: Makefile
===================================================================
--- Makefile	(revision e3c762cdcb8d0aafcf71fd9b78017dd48ac328e2)
+++ Makefile	(revision 6326f5e6841338d79c1b6dff2c83d1cffacc8061)
@@ -164,5 +164,6 @@
 	generic/src/ipc/ipcrsc.c \
 	generic/src/ipc/irq.c \
-	generic/src/security/cap.c
+	generic/src/security/cap.c \
+	generic/src/sysinfo/sysinfo.c
 
 ## Test sources