Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision 1d6c497244b6b4a696141801fb93857f268fe3d9)
+++ kernel/arch/amd64/src/debugger.c	(revision cae54046b82d245b0cf3dad7ced8e4d5d09d006e)
@@ -349,11 +349,9 @@
 {
 #ifdef __32_BITS__
-	printf("#  Count Address    In symbol\n");
-	printf("-- ----- ---------- ---------\n");
+	printf("[nr] [count] [address ] [in symbol\n");
 #endif
 	
 #ifdef __64_BITS__
-	printf("#  Count Address            In symbol\n");
-	printf("-- ----- ------------------ ---------\n");
+	printf("[nr] [count] [address         ] [in symbol\n");
 #endif
 	
@@ -365,5 +363,5 @@
 			
 #ifdef __32_BITS__
-			printf("%-2u %-5" PRIs " %p %s\n", i,
+			printf("%-4u %7" PRIs " %p %s\n", i,
 			    breakpoints[i].counter, breakpoints[i].address,
 			    symbol);
@@ -371,5 +369,5 @@
 			
 #ifdef __64_BITS__
-			printf("%-2u %-5" PRIs " %p %s\n", i,
+			printf("%-4u %7" PRIs " %p %s\n", i,
 			    breakpoints[i].counter, breakpoints[i].address,
 			    symbol);