Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision d9fae23532028671526d24c90116318f54d92d29)
+++ kernel/generic/src/syscall/syscall.c	(revision 88dea9d01a9bc5e8482c1ceafa6e6531ac50cb4f)
@@ -54,4 +54,7 @@
 #include <console/console.h>
 #include <udebug/udebug.h>
+#include <ps/ps.h>
+#include <ps/load.h>
+#include <ps/uptime.h>
 
 /** Dispatch system call */
@@ -60,4 +63,7 @@
 {
 	unative_t rc;
+
+	/* Do userpace accounting */
+	thread_update_accounting(true);
 
 #ifdef CONFIG_UDEBUG
@@ -95,4 +101,7 @@
 	}
 #endif
+
+	/* Do kernel accounting */
+	thread_update_accounting(false);
 	
 	return rc;
@@ -161,4 +170,13 @@
 	(syshandler_t) sys_debug_enable_console,
 	(syshandler_t) sys_debug_disable_console,
+
+	/* Ps calls */
+	(syshandler_t) sys_ps_get_cpu_info,
+	(syshandler_t) sys_ps_get_mem_info,
+	(syshandler_t) sys_ps_get_tasks,
+	(syshandler_t) sys_ps_get_task_info,
+	(syshandler_t) sys_ps_get_threads,
+	(syshandler_t) sys_ps_get_uptime,
+	(syshandler_t) sys_ps_get_load,
 	
 	(syshandler_t) sys_ipc_connect_kbox
