Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 88dea9d01a9bc5e8482c1ceafa6e6531ac50cb4f)
+++ kernel/generic/src/syscall/syscall.c	(revision 80bfb601d828951693b11892603e3161b6736ea0)
@@ -54,7 +54,4 @@
 #include <console/console.h>
 #include <udebug/udebug.h>
-#include <ps/ps.h>
-#include <ps/load.h>
-#include <ps/uptime.h>
 
 /** Dispatch system call */
@@ -147,5 +144,5 @@
 	(syshandler_t) sys_ipc_register_irq,
 	(syshandler_t) sys_ipc_unregister_irq,
-
+	
 	/* Event notification syscalls. */
 	(syshandler_t) sys_event_subscribe,
@@ -170,13 +167,4 @@
 	(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