From d107ef6d549f2ca51d8e2acacd43c52ea9496eea Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 23 Mar 2018 11:05:53 -0600
Subject: [PATCH] configs/cc3200-launchpad:  I don't think that there is any
 reason for BINFS to be enabled in the NSH configuration.

---
 configs/cc3200-launchpad/nsh/defconfig | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/configs/cc3200-launchpad/nsh/defconfig b/configs/cc3200-launchpad/nsh/defconfig
index 665c49c835..8502fc2d66 100644
--- a/configs/cc3200-launchpad/nsh/defconfig
+++ b/configs/cc3200-launchpad/nsh/defconfig
@@ -1,5 +1,4 @@
 # CONFIG_ARCH_FPU is not set
-# CONFIG_EXECFUNCS_HAVE_SYMTAB is not set
 CONFIG_ARCH_BOARD_CC3200_LAUNCHPAD=y
 CONFIG_ARCH_BOARD="cc3200-launchpad"
 CONFIG_ARCH_CHIP_CC3200=y
@@ -8,17 +7,13 @@ CONFIG_ARCH_IRQPRIO=y
 CONFIG_ARCH="arm"
 CONFIG_ARMV7M_USEBASEPRI=y
 CONFIG_BOARD_LOOPSPERMSEC=4000
-CONFIG_BOARDCTL_APP_SYMTAB=y
 CONFIG_BOOT_RUNFROMISRAM=y
 CONFIG_BUILTIN_PROXY_STACKSIZE=512
 CONFIG_BUILTIN=y
 CONFIG_DISABLE_POLL=y
 CONFIG_EXAMPLES_NSH=y
 CONFIG_EXPERIMENTAL=y
-CONFIG_FS_BINFS=y
 CONFIG_FS_PROCFS=y
-CONFIG_LIB_BOARDCTL=y
-CONFIG_LIBC_EXECFUNCS=y
 CONFIG_MAX_TASKS=8
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_MM_REGIONS=2