diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-28 12:09:49 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-28 12:09:49 -0600 |
| commit | 397298da8d61a5887b15fc9c53206e11821a92d8 (patch) | |
| tree | 90d6802a2b459c69323a95f3e4a392d5b1b90562 /nuttx/Kconfig | |
| parent | d6c088a4acc3cb6fddc40740c2da8c5b27adc244 (diff) | |
| download | nuttx-397298da8d61a5887b15fc9c53206e11821a92d8.tar.gz nuttx-397298da8d61a5887b15fc9c53206e11821a92d8.tar.bz2 nuttx-397298da8d61a5887b15fc9c53206e11821a92d8.zip | |
The system call library can now be built with CONFIG_NUTTX_KERNEL. New select: CONFIG_LIB_SYSCALL
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" |