diff options
Diffstat (limited to 'nuttx/sched')
-rw-r--r-- | nuttx/sched/Kconfig | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/nuttx/sched/Kconfig b/nuttx/sched/Kconfig index fe9a88085..7ea301600 100644 --- a/nuttx/sched/Kconfig +++ b/nuttx/sched/Kconfig @@ -379,21 +379,11 @@ config DISABLE_MQUEUE depends on DISABLE_OS_API default n -config DISABLE_MOUNTPOINT - bool "Disable support for mount points" - depends on DISABLE_OS_API - default n - config DISABLE_ENVIRON bool "Disable environment variable support" depends on DISABLE_OS_API default n -config DISABLE_POLL - bool "Disable driver poll interfaces" - depends on DISABLE_OS_API - default n - if !DISABLE_SIGNALS comment "Signal Numbers" |