From 171fff2ef0e09492eed1bb0a30a9352e1490efb8 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 29 Aug 2014 14:47:22 -0600
Subject: [PATCH] Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED;
 Partially integrate new CONFIG_BUILD_KERNEL

---
 Kconfig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Kconfig b/Kconfig
index 9e4c4ec9a..4f6b84b73 100644
--- a/Kconfig
+++ b/Kconfig
@@ -52,7 +52,7 @@ if NX_MULTIUSER
 config NXWIDGET_SERVERINIT
 	bool "Start server"
 	default y
-	depends on !NUTTX_KERNEL
+	depends on !BUILD_PROTECTED && !BUILD_KERNEL
 	---help---
 		If this option is selected, then the NxWidgets::CNxServer class will
 		bring up the NX server when it is initialized.  If this option is
@@ -779,7 +779,7 @@ comment "Touchscreen Device Settings"
 config NXWM_TOUCHSCREEN_DEVINIT
 	bool "Touchscreen Device Initialization"
 	default y
-	depends on !NUTTX_KERNEL
+	depends on !BUILD_PROTECTED && !BUILD_KERNEL
 	---help---
 		It this option is selected, then the NxWM:CTouchscreen listener
 		thread will call a function arch_tcinitialize(NXWM_TOUCHSCREEN_DEVNO)