Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision f8ddd176406660da88b0e9d63695413731cd58ff)
+++ kernel/generic/src/mm/frame.c	(revision f88fcbec8f4c20dfefb67f4a7237bfc980de7a2d)
@@ -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);
 	}