Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 4cc2dddec0731c6f01a0f290b358ad6fbd7e81f4)
+++ kernel/generic/src/console/cmd.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
@@ -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)