Make the diagnostics shell optional

1 files changed, 12 insertions, 8 deletions

diff --git a/kern/log.c b/kern/log.c
index b8029095..6adc378b 100644
--- a/kern/log.c
+++ b/kern/log.c
@@ -267,6 +267,8 @@ log_run(void *arg)
     }
 }
 
+#ifdef X15_SHELL
+
 static void
 log_dump(unsigned int level)
 {
@@ -315,14 +317,6 @@ log_shell_dump(int argc, char **argv)
     log_dump(level);
 }
 
-void __init
-log_setup(void)
-{
-    cbuf_init(&log_cbuf, log_buffer, sizeof(log_buffer));
-    spinlock_init(&log_lock);
-    log_print_level = LOG_INFO;
-}
-
 static struct shell_cmd log_shell_cmds[] = {
     SHELL_CMD_INITIALIZER2("log_dump", log_shell_dump,
         "log_dump [<level>]",
@@ -339,6 +333,16 @@ static struct shell_cmd log_shell_cmds[] = {
         " 7: debug"),
 };
 
+#endif /* X15_SHELL */
+
+void __init
+log_setup(void)
+{
+    cbuf_init(&log_cbuf, log_buffer, sizeof(log_buffer));
+    spinlock_init(&log_lock);
+    log_print_level = LOG_INFO;
+}
+
 void __init
 log_start(void)
 {