diff --git a/boards/arm/tiva/lm3s6965-ek/configs/discover/defconfig b/boards/arm/tiva/lm3s6965-ek/configs/discover/defconfig
index d6b014efc10..bb15bd4a2d1 100644
--- a/boards/arm/tiva/lm3s6965-ek/configs/discover/defconfig
+++ b/boards/arm/tiva/lm3s6965-ek/configs/discover/defconfig
@@ -5,8 +5,6 @@
 # You can then do "make savedefconfig" to generate a new defconfig file that includes your
 # modifications.
 #
-# CONFIG_NSH_DISABLE_IFCONFIG is not set
-# CONFIG_NSH_DISABLE_PS is not set
 CONFIG_ARCH="arm"
 CONFIG_ARCH_BOARD="lm3s6965-ek"
 CONFIG_ARCH_BOARD_LM3S6965EK=y
@@ -15,10 +13,13 @@ CONFIG_ARCH_CHIP_LM3S6965=y
 CONFIG_ARCH_CHIP_LM3S=y
 CONFIG_ARCH_CHIP_LM=y
 CONFIG_ARCH_STACKDUMP=y
-CONFIG_ARMV7M_OABI_TOOLCHAIN=y
-CONFIG_ARMV7M_TOOLCHAIN_BUILDROOT=y
 CONFIG_BOARD_LOOPSPERMSEC=4531
+CONFIG_BUILTIN=y
+CONFIG_DEBUG_FULLOPT=y
+CONFIG_DEBUG_SYMBOLS=y
+CONFIG_EXAMPLES_HELLO=y
 CONFIG_FS_FAT=y
+CONFIG_FS_PROCFS=y
 CONFIG_MAX_TASKS=16
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_MMCSD=y
@@ -28,7 +29,6 @@ CONFIG_NETDB_DNSCLIENT=y
 CONFIG_NETDB_DNSCLIENT_ENTRIES=4
 CONFIG_NETDB_DNSSERVER_NOADDR=y
 CONFIG_NETINIT_NOMAC=y
-CONFIG_NETUTILS_DHCPC=y
 CONFIG_NETUTILS_TELNETD=y
 CONFIG_NETUTILS_TFTPC=y
 CONFIG_NETUTILS_WEBCLIENT=y
@@ -43,6 +43,8 @@ CONFIG_NET_UDP_CHECKSUMS=y
 CONFIG_NFILE_DESCRIPTORS=8
 CONFIG_NFILE_STREAMS=8
 CONFIG_NSH_ARCHINIT=y
+CONFIG_NSH_BUILTIN_APPS=y
+CONFIG_NSH_DISABLE_IFUPDOWN=y
 CONFIG_NSH_FILEIOSIZE=512
 CONFIG_NSH_LINELEN=64
 CONFIG_NSH_READLINE=y
@@ -54,14 +56,17 @@ CONFIG_RAM_START=0x20000000
 CONFIG_RAW_BINARY=y
 CONFIG_RR_INTERVAL=200
 CONFIG_SCHED_HPWORK=y
+CONFIG_SCHED_WAITPID=y
 CONFIG_SDCLONE_DISABLE=y
 CONFIG_SPI=y
+CONFIG_STACK_COLORATION=y
 CONFIG_START_DAY=8
 CONFIG_START_MONTH=5
 CONFIG_START_YEAR=2010
+CONFIG_SYSTEM_DHCPC_RENEW=y
 CONFIG_SYSTEM_NSH=y
 CONFIG_SYSTEM_PING=y
-CONFIG_TASK_NAME_SIZE=0
+CONFIG_TASK_NAME_SIZE=24
 CONFIG_TIVA_ETHERNET=y
 CONFIG_TIVA_GPIOA_IRQS=y
 CONFIG_TIVA_GPIOB_IRQS=y