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