Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 4680ef5eeda9925a3978a4a02f31a915dbdabe5f)
+++ kernel/generic/src/proc/thread.c	(revision e70bfa52d5196dbe946f95f10f967ebf8716d6e8)
@@ -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");