Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 72bcb25fd2166818d63b580efcafdf265183c0c8)
+++ kernel/generic/src/console/cmd.c	(revision ddee70820f4858a2e9e0b986ad80d7f6246fac41)
@@ -49,4 +49,5 @@
 #include <adt/list.h>
 #include <arch.h>
+#include <config.h>
 #include <func.h>
 #include <macros.h>
@@ -80,5 +81,13 @@
 static cmd_info_t exit_info = {
 	.name = "exit",
-	.description = "Exit kconsole",
+	.description = "Exit kconsole.",
+	.argc = 0
+};
+
+static int cmd_reboot(cmd_arg_t *argv);
+static cmd_info_t reboot_info = {
+	.name = "reboot",
+	.description = "Reboot.",
+	.func = cmd_reboot,
 	.argc = 0
 };
@@ -430,4 +439,5 @@
 	&desc_info,
 	&exit_info,
+	&reboot_info,
 	&halt_info,
 	&help_info,
@@ -505,4 +515,19 @@
 }
 
+
+/** Reboot the system.
+ *
+ * @param argv Argument vector.
+ *
+ * @return 0 on failure, 1 on success.
+ */
+int cmd_reboot(cmd_arg_t *argv)
+{
+	reboot();
+	
+	/* Not reached */
+	return 1;
+}
+
 /** Describe specified command.
  *