2 files changed, 6 insertions, 6 deletions
diff --git a/nuttx/sched/Kconfig b/nuttx/sched/Kconfig
index 4a3e87745..ab0de5b47 100644
--- a/nuttx/sched/Kconfig
+++ b/nuttx/sched/Kconfig
@@ -57,12 +57,6 @@ config DEV_CONSOLE
 		Set if architecture-specific logic provides /dev/console.  Enables
 		stdout, stderr, stdin.
 
-config DEV_LOWCONSOLE
-	bool "enable low-level serial console"
-	default n
-	---help---
-		Use the simple, low-level, write-only serial console driver (minimul support)
-
 config MUTEX_TYPES:
 	bool "Enable mutex types"
 	default n
diff --git a/nuttx/sched/prctl.c b/nuttx/sched/prctl.c
index d71a0e174..3db83d3d7 100644
--- a/nuttx/sched/prctl.c
+++ b/nuttx/sched/prctl.c
@@ -157,8 +157,14 @@ int prctl(int option, ...)
       goto errout;
     }
 
+  /* Not reachable unless CONFIG_TASK_NAME_SIZE is > 0.  NOTE: This might
+   * change if additional commands are supported.
+   */
+
+#if CONFIG_TASK_NAME_SIZE > 0
   va_end(ap);
   return OK;
+#endif
 
 errout:
   va_end(ap);