Index: generic/src/console/cmd.c
===================================================================
--- generic/src/console/cmd.c	(revision 37c57f29513b54c8a95f330fce386b8a26dffa7e)
+++ generic/src/console/cmd.c	(revision 1b109cb54251e71a61747f3f1cdfbf22e71ef8d6)
@@ -303,12 +303,4 @@
 };
 
-static int cmd_hello(cmd_arg_t *argv);
-static cmd_info_t hello_info = {
-	.name = "hello",
-	.description = "Hello Message",
-	.func = cmd_hello,
-	.argc = 0
-};
-
 /** Data and methods for 'cpus' command. */
 static int cmd_cpus(cmd_arg_t *argv);
@@ -353,5 +345,4 @@
 	&zones_info,
 	&zone_info,
-	&hello_info,
 	NULL
 };
@@ -706,9 +697,2 @@
 	return 1;
 }
-
-
-int cmd_hello(cmd_arg_t *argv)
-{
-	printf("\nHello, World !!!\n");
-	return 1;
-}