Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 0eb58f17598f4b276ac9acad8b6698dd39710b1a)
+++ kernel/generic/src/proc/thread.c	(revision 7b63b6b0ed5eb2c8d7afc8e459b93343244389d7)
@@ -587,7 +587,7 @@
 	
 	printf("tid    name       address    state    task       ctx code    "
-	    "   stack      cycles     cpu  kstack     waitqueue\n");
+	    "   stack      cycles     cpu  waitqueue\n");
 	printf("------ ---------- ---------- -------- ---------- --- --------"
-	    "-- ---------- ---------- ---- ---------- ----------\n");
+	    "-- ---------- ---------- ---- ---------\n");
 
 	for (cur = threads_btree.leaf_head.next;
@@ -617,6 +617,5 @@
 			
 			if (t->state == Sleeping)
-				printf(" %#10zx %#10zx", t->kstack,
-				    t->sleep_queue);
+				printf(" %#10zx", t->sleep_queue);
 			
 			printf("\n");