Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 18b5402c52a19cabb1ecd9b32bd8d5dc8862b22a)
+++ kernel/Makefile	(revision 0655d642d150a8d458a716d13c8fdca59b3c41ff)
@@ -230,5 +230,6 @@
 	generic/src/security/cap.c \
 	generic/src/sysinfo/sysinfo.c \
-	generic/src/ps/ps.c
+	generic/src/ps/ps.c \
+	generic/src/ps/load.c
 
 ## Kernel console support