Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision c0379fcd0ca28d6439cb4dbc7c14648b1e2d8462)
+++ kernel/Makefile	(revision 1ba37faf61b6713df5140f30fa781f7f2147c5ab)
@@ -231,4 +231,5 @@
 	generic/src/sysinfo/sysinfo.c \
 	generic/src/ps/ps.c \
+	generic/src/ps/cpu.c \
 	generic/src/ps/load.c \
 	generic/src/ps/uptime.c