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