Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 449dc1ed04e320166321f3729b364b665176d9bc)
+++ kernel/generic/src/mm/frame.c	(revision cd896e26b27f7c29d75d04d6d8a133a42f7ebe4a)
@@ -1099,10 +1099,10 @@
 	ipl = interrupts_disable();
 	spinlock_lock(&zones.lock);
-	printf("#  Base address\tFree Frames\tBusy Frames\n");
-	printf("   ------------\t-----------\t-----------\n");
+	printf("#  base address free frames  busy frames\n");
+	printf("-- ------------ ------------ ------------\n");
 	for (i = 0; i < zones.count; i++) {
 		zone = zones.info[i];
 		spinlock_lock(&zone->lock);
-		printf("%d: %.*p \t%10zd\t%10zd\n", i, sizeof(uintptr_t) * 2, PFN2ADDR(zone->base), zone->free_count, zone->busy_count);
+		printf("%-2d %12p %12zd %12zd\n", i, PFN2ADDR(zone->base), zone->free_count, zone->busy_count);
 		spinlock_unlock(&zone->lock);
 	}
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");