Index: libc/Makefile
===================================================================
--- libc/Makefile	(revision 7981e3cc7170e61bff39fac726372bb2c39e6a4b)
+++ libc/Makefile	(revision 8071af9f950657a508cbfe0d5d2652aeec0c7c73)
@@ -60,5 +60,6 @@
 	generic/io/printf_core.c \
 	malloc/malloc.c \
-	generic/psthread.c
+	generic/psthread.c \
+	generic/sysinfo.c
 
 ARCH_SOURCES += \