From ed031388ad6abc3dbe88be4176cafe75d576455d Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 24 Jul 2015 14:19:18 -0600
Subject: [PATCH] sched/Kconfig: The sporadic scheduler option is no longer
 EXPERIMENTAL

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

diff --git a/sched/Kconfig b/sched/Kconfig
index 6184c9779f4..a94f2fa3071 100644
--- a/sched/Kconfig
+++ b/sched/Kconfig
@@ -310,7 +310,6 @@ config RR_INTERVAL
 config SCHED_SPORADIC
 	bool "Support sporadic scheduling"
 	default n
-	depends on EXPERIMENTAL
 	---help---
 		Build in additional logic to support sporadic scheduling (SCHED_SPORADIC).