From 81a4de4a4d7d96a66fc35327987f87d26903a624 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 11 Sep 2014 07:18:33 -0600
Subject: [PATCH] Kconfig choice value needs a prompt

---
 sched/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sched/Kconfig b/sched/Kconfig
index 12752da752..96a424d201 100644
--- a/sched/Kconfig
+++ b/sched/Kconfig
@@ -225,7 +225,7 @@ choice
 	default INIT_NONE if BUILD_KERNEL && BINFMT_DISABLE
 
 config INIT_NONE
-	bool
+	bool "None"
 
 config INIT_ENTRYPOINT
 	bool "Via application entry point"