Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 449dc1ed04e320166321f3729b364b665176d9bc)
+++ kernel/generic/src/proc/task.c	(revision cd896e26b27f7c29d75d04d6d8a133a42f7ebe4a)
@@ -344,4 +344,7 @@
 	ipl = interrupts_disable();
 	spinlock_lock(&tasks_lock);
+	
+	printf("taskid name       ctx address    as         active calls callee\n");
+	printf("------ ---------- --- ---------- ---------- ------------ ------>\n");
 
 	for (cur = tasks_btree.leaf_head.next; cur != &tasks_btree.leaf_head; cur = cur->next) {
@@ -357,9 +360,8 @@
 		
 			spinlock_lock(&t->lock);
-			printf("%s(%lld): context=%ld, address=%#zx, as=%#zx, ActiveCalls: %zd",
-				t->name, t->taskid, t->context, t, t->as, atomic_get(&t->active_calls));
-			for (j=0; j < IPC_MAX_PHONES; j++) {
+			printf("%-6lld %-10s %-3ld %#10zx %#10zx %12zd", t->taskid, t->name, t->context, t, t->as, atomic_get(&t->active_calls));
+			for (j = 0; j < IPC_MAX_PHONES; j++) {
 				if (t->phones[j].callee)
-					printf(" Ph(%zd): %#zx ", j, t->phones[j].callee);
+					printf(" %zd:%#zx", j, t->phones[j].callee);
 			}
 			printf("\n");