Index: kernel/generic/src/ps/ps.c
===================================================================
--- kernel/generic/src/ps/ps.c	(revision faf38b24fb042fe9f1d90d5bb4cc3c9364782df0)
+++ kernel/generic/src/ps/ps.c	(revision 638927aaf96314b3f36042b364dd1bba880197ba)
@@ -191,6 +191,4 @@
 	ipl_t ipl;
 	ipl = interrupts_disable();
-
-	printf("LIst threads, size: %llu\n", size);
 	spinlock_lock(&threads_lock);