From 397298da8d61a5887b15fc9c53206e11821a92d8 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 28 Aug 2014 12:09:49 -0600
Subject: The system call library can now be built with CONFIG_NUTTX_KERNEL. 
 New select: CONFIG_LIB_SYSCALL

---
 nuttx/Kconfig | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'nuttx/Kconfig')

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"
-- 
cgit v1.2.3