diff options
Diffstat (limited to 'nuttx/Kconfig')
| -rw-r--r-- | nuttx/Kconfig | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/nuttx/Kconfig b/nuttx/Kconfig index 7a5f41cba..4a84866cf 100644 --- a/nuttx/Kconfig +++ b/nuttx/Kconfig @@ -186,6 +186,7 @@ config PASS1_OBJECT config NUTTX_KERNEL bool "NuttX kernel build" default n + select LIB_SYSCALL ---help--- Builds NuttX as a separately compiled kernel. @@ -681,9 +682,7 @@ endmenu menu "RTOS Features" source sched/Kconfig -if NUTTX_KERNEL source syscall/Kconfig -endif endmenu menu "Device Drivers" |