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