Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision df58e448060bb6d63ea118d30cb9b3b9b8c059bf)
+++ kernel/generic/src/console/cmd.c	(revision 9c81703396899b0f387e719f5279bbd14aa89698)
@@ -111,4 +111,5 @@
 
 #ifdef CONFIG_TEST
+
 /* Data and methods for 'test' command. */
 static char test_buf[MAX_CMDLINE + 1];
@@ -148,5 +149,6 @@
 	.argv = bench_argv
 };
-#endif
+
+#endif /* CONFIG_TEST */
 
 /* Data and methods for 'description' command. */
@@ -383,4 +385,6 @@
 };
 
+#ifdef CONFIG_UDEBUG
+
 /* Data and methods for 'btrace' command */
 static int cmd_btrace(cmd_arg_t *argv);
@@ -395,4 +399,6 @@
 	.argv = &btrace_argv
 };
+
+#endif /* CONFIG_UDEBUG */
 
 static int cmd_sched(cmd_arg_t *argv);
@@ -492,5 +498,4 @@
 
 static cmd_info_t *basic_commands[] = {
-	&btrace_info,
 	&call0_info,
 	&mcall0_info,
@@ -523,4 +528,7 @@
 	&bench_info,
 #endif
+#ifdef CONFIG_UDEBUG
+	&btrace_info,
+#endif
 	NULL
 };
@@ -980,4 +988,6 @@
 }
 
+#ifdef CONFIG_UDEBUG
+
 /** Command for printing thread stack trace
  *
@@ -992,4 +1002,6 @@
 	return 1;
 }
+
+#endif /* CONFIG_UDEBUG */
 
 /** Command for printing scheduler information