Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 43b1e860898a9f6f86146a628837eac2fb7dc913)
+++ kernel/generic/src/console/cmd.c	(revision 0b5f9fa8f85b747067b6791c2924eaa4a3965b76)
@@ -335,4 +335,15 @@
 };
 
+/* Data and methods for 'physmem' command. */
+static int cmd_physmem(cmd_arg_t *argv);
+cmd_info_t physmem_info = {
+	.name = "physmem",
+	.description = "Print physical memory configuration.",
+	.help = NULL,
+	.func = cmd_physmem,
+	.argc = 0,
+	.argv = NULL
+};
+
 /* Data and methods for 'tlb' command. */
 static int cmd_tlb(cmd_arg_t *argv);
@@ -458,4 +469,5 @@
 	&threads_info,
 	&tasks_info,
+	&physmem_info,
 	&tlb_info,
 	&version_info,
@@ -485,11 +497,10 @@
 void cmd_init(void)
 {
-	int i;
-
-	for (i=0;basic_commands[i]; i++) {
+	unsigned int i;
+
+	for (i = 0; basic_commands[i]; i++) {
 		cmd_initialize(basic_commands[i]);
 		if (!cmd_register(basic_commands[i]))
-			panic("could not register command %s\n", 
-			      basic_commands[i]->name);
+			panic("could not register command %s\n", basic_commands[i]->name);
 	}
 }
@@ -810,4 +821,16 @@
 }
 
+/** Command for printing physical memory configuration.
+ *
+ * @param argv Not used.
+ *
+ * @return Always returns 1.
+ */
+int cmd_physmem(cmd_arg_t *argv)
+{
+	physmem_print();
+	return 1;
+}
+
 /** Write 4 byte value to address */
 int cmd_set4(cmd_arg_t *argv)
Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 43b1e860898a9f6f86146a628837eac2fb7dc913)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 0b5f9fa8f85b747067b6791c2924eaa4a3965b76)
@@ -110,9 +110,9 @@
 	
 	if (sizeof(void *) == 4) {
-		printf("Exc Description  Handler    Symbol\n");
-		printf("--- ------------ ---------- --------\n");
+		printf("Exc Description    Handler    Symbol\n");
+		printf("--- -------------- ---------- --------\n");
 	} else {
-		printf("Exc Description  Handler            Symbol\n");
-		printf("--- ------------ ------------------ --------\n");
+		printf("Exc Description    Handler            Symbol\n");
+		printf("--- -------------- ------------------ --------\n");
 	}
 	
@@ -123,8 +123,8 @@
 		
 		if (sizeof(void *) == 4)
-			printf("%-3u %-12s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name,
+			printf("%-3u %-14s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name,
 				exc_table[i].f, symbol);
 		else
-			printf("%-3u %-12s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name,
+			printf("%-3u %-14s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name,
 				exc_table[i].f, symbol);