Index: kernel/arch/amd64/include/mm/frame.h
===================================================================
--- kernel/arch/amd64/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/amd64/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -41,9 +41,10 @@
 
 #define FRAME_WIDTH		12	/* 4K */
-#define FRAME_SIZE		(1<<FRAME_WIDTH)
+#define FRAME_SIZE		(1 << FRAME_WIDTH)
 
 #ifndef __ASM__
 extern uintptr_t last_frame;
 extern void frame_arch_init(void);
+extern void physmem_print(void);
 #endif /* __ASM__ */
 
Index: kernel/arch/arm32/include/mm/frame.h
===================================================================
--- kernel/arch/arm32/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/arm32/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -55,4 +55,5 @@
 extern void frame_arch_init(void);
 extern void boot_page_table_free(void);
+#define physmem_print()
 
 #endif /* __ASM__ */
Index: kernel/arch/ia32/include/mm/frame.h
===================================================================
--- kernel/arch/ia32/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/ia32/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -47,4 +47,5 @@
 
 extern void frame_arch_init(void);
+extern void physmem_print(void);
 
 #endif /* __ASM__ */
Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/ia32/src/mm/frame.c	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -46,6 +46,4 @@
 
 #include <print.h>
-#include <console/cmd.h>
-#include <console/kconsole.h>
 
 size_t hardcoded_unmapped_ktext_size = 0;
@@ -56,5 +54,5 @@
 static void init_e820_memory(pfn_t minconf)
 {
-	int i;
+	unsigned int i;
 	pfn_t start, conf;
 	size_t size;
@@ -64,9 +62,12 @@
 			start = ADDR2PFN(ALIGN_UP(e820table[i].base_address, FRAME_SIZE));
 			size = SIZE2FRAMES(ALIGN_DOWN(e820table[i].size, FRAME_SIZE));
+			
 			if ((minconf < start) || (minconf >= start + size))
 				conf = start;
 			else
 				conf = minconf;
+			
 			zone_create(start, size, conf, 0);
+			
 			if (last_frame < ALIGN_UP(e820table[i].base_address +
 			    e820table[i].size, FRAME_SIZE))
@@ -76,12 +77,4 @@
 	}
 }
-
-static int cmd_e820mem(cmd_arg_t *argv);
-static cmd_info_t e820_info = {
-	.name = "e820list",
-	.description = "List e820 memory.",
-	.func = cmd_e820mem,
-	.argc = 0
-};
 
 static char *e820names[] = {
@@ -95,5 +88,5 @@
 
 
-static int cmd_e820mem(cmd_arg_t *argv)
+void physmem_print(void)
 {
 	unsigned int i;
@@ -112,5 +105,4 @@
 			e820table[i].size, name);
 	}			
-	return 0;
 }
 
@@ -118,15 +110,12 @@
 void frame_arch_init(void)
 {
-	static pfn_t minconf;
+	pfn_t minconf;
 	
 	if (config.cpu_active == 1) {
-		cmd_initialize(&e820_info);
-		cmd_register(&e820_info);
-
 		minconf = 1;
 #ifdef CONFIG_SMP
 		minconf = max(minconf,
-		    ADDR2PFN(AP_BOOT_OFFSET + hardcoded_unmapped_ktext_size +
-		        hardcoded_unmapped_kdata_size));
+			ADDR2PFN(AP_BOOT_OFFSET + hardcoded_unmapped_ktext_size +
+			hardcoded_unmapped_kdata_size));
 #endif
 #ifdef CONFIG_SIMICS_FIX
@@ -141,6 +130,6 @@
 		/* Reserve AP real mode bootstrap memory */
 		frame_mark_unavailable(AP_BOOT_OFFSET >> FRAME_WIDTH, 
-		    (hardcoded_unmapped_ktext_size +
-		    hardcoded_unmapped_kdata_size) >> FRAME_WIDTH);
+			(hardcoded_unmapped_ktext_size +
+			hardcoded_unmapped_kdata_size) >> FRAME_WIDTH);
 		
 #ifdef CONFIG_SIMICS_FIX
Index: kernel/arch/ia32xen/include/mm/frame.h
===================================================================
--- kernel/arch/ia32xen/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/ia32xen/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -47,4 +47,5 @@
 
 extern void frame_arch_init(void);
+#define physmem_print()
 
 #endif /* __ASM__ */
Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/ia64/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -36,6 +36,6 @@
 #define KERN_ia64_FRAME_H_
 
-#define FRAME_WIDTH   14	/* 16K */
-#define FRAME_SIZE		(1<<FRAME_WIDTH)
+#define FRAME_WIDTH		14	/* 16K */
+#define FRAME_SIZE		(1 << FRAME_WIDTH)
 
 #ifdef KERNEL
@@ -43,4 +43,5 @@
 
 extern void frame_arch_init(void);
+#define physmem_print()
 
 #define ARCH_STACK_FRAMES TWO_FRAMES
Index: kernel/arch/mips32/include/mm/frame.h
===================================================================
--- kernel/arch/mips32/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/mips32/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -37,5 +37,5 @@
 
 #define FRAME_WIDTH		14	/* 16K */
-#define FRAME_SIZE		(1<<FRAME_WIDTH)
+#define FRAME_SIZE		(1 << FRAME_WIDTH)
 
 #ifdef KERNEL
@@ -43,4 +43,5 @@
 
 extern void frame_arch_init(void);
+#define physmem_print()
 
 #endif /* __ASM__ */
Index: kernel/arch/ppc32/include/mm/frame.h
===================================================================
--- kernel/arch/ppc32/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/ppc32/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -47,4 +47,5 @@
 
 extern void frame_arch_init(void);
+#define physmem_print()
 
 #endif /* __ASM__ */
Index: kernel/arch/ppc64/include/mm/frame.h
===================================================================
--- kernel/arch/ppc64/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/ppc64/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -47,4 +47,5 @@
 
 extern void frame_arch_init(void);
+#define physmem_print()
 
 #endif /* __ASM__ */
Index: kernel/arch/sparc64/include/mm/frame.h
===================================================================
--- kernel/arch/sparc64/include/mm/frame.h	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/arch/sparc64/include/mm/frame.h	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -70,4 +70,5 @@
 extern uintptr_t last_frame;
 extern void frame_arch_init(void);
+#define physmem_print()
 
 #endif
Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/generic/src/console/cmd.c	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -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 a0f6a61c9a8fa25fea57e5aec9b67811c126299c)
+++ kernel/generic/src/interrupt/interrupt.c	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
@@ -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);