Index: generic/src/console/kconsole.c
===================================================================
--- generic/src/console/kconsole.c	(revision 59b6a70445aaeec96dbe49fdab7cc5b2da5f060f)
+++ generic/src/console/kconsole.c	(revision 79305e1c8bf5ba84f34db2d351014ae9f611c7e8)
@@ -86,4 +86,8 @@
 };
 
+/** Data and methods for 'halt' command. */
+static int cmd_halt(cmd_arg_t *argv);
+static cmd_info_t halt_info;
+
 /** Initialize kconsole data structures. */
 void kconsole_init(void)
@@ -118,4 +122,18 @@
 	if (!cmd_register(&desc_info))
 		panic("could not register command %s\n", desc_info.name);
+	
+	
+	halt_info.name = "halt";
+	halt_info.description = "Halt the kernel.";
+	halt_info.func = cmd_halt;
+	halt_info.help = NULL;
+	halt_info.argc = 0;
+	halt_info.argv = NULL;
+
+	spinlock_initialize(&halt_info.lock);
+	link_initialize(&halt_info.link);
+
+	if (!cmd_register(&halt_info))
+		panic("could not register command %s\n", halt_info.name);
 }
 
@@ -408,4 +426,16 @@
 }
 
+/** Halt the kernel.
+ *
+ * @param argv Argument vector.
+ *
+ * @return 0 on failure, 1 on success.
+ */
+int cmd_halt(cmd_arg_t *argv)
+{
+	halt();
+	return 1;
+}
+
 /** Print detailed description of 'describe' command. */
 void desc_help(void)