Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 7c682dd18cb1e1cac93f7e180e1fc41df32f824c)
+++ kernel/Makefile	(revision a2a00e8d4f4059d97c6514c8276189ab85ff03a8)
@@ -229,5 +229,6 @@
 	generic/src/ipc/event.c \
 	generic/src/security/cap.c \
-	generic/src/sysinfo/sysinfo.c
+	generic/src/sysinfo/sysinfo.c \
+	generic/src/ps/ps.c
 
 ## Kernel console support