boards: Fix broken defconfigs

boards/arm/stm32/nucleo-f302r8/configs/qenco/defconfig

@@ -5,6 +5,60 @@
 # You can then do "make savedefconfig" to generate a new defconfig file that includes your
 # modifications.
 #
+# CONFIG_DISABLE_ENVIRON is not set
+# CONFIG_DISABLE_MQUEUE is not set
+# CONFIG_DISABLE_MQUEUE_NOTIFICATION is not set
+# CONFIG_DISABLE_POSIX_TIMERS is not set
+# CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set
+# CONFIG_DISABLE_PTHREAD is not set
+# CONFIG_NSH_DISABLEBG is not set
+# CONFIG_NSH_DISABLESCRIPT is not set
+# CONFIG_NSH_DISABLE_BASENAME is not set
+# CONFIG_NSH_DISABLE_CAT is not set
+# CONFIG_NSH_DISABLE_CD is not set
+# CONFIG_NSH_DISABLE_CMP is not set
+# CONFIG_NSH_DISABLE_CP is not set
+# CONFIG_NSH_DISABLE_DD is not set
+# CONFIG_NSH_DISABLE_DF is not set
+# CONFIG_NSH_DISABLE_DIRNAME is not set
+# CONFIG_NSH_DISABLE_DMESG is not set
+# CONFIG_NSH_DISABLE_ECHO is not set
+# CONFIG_NSH_DISABLE_ENV is not set
+# CONFIG_NSH_DISABLE_EXEC is not set
+# CONFIG_NSH_DISABLE_EXIT is not set
+# CONFIG_NSH_DISABLE_EXPORT is not set
+# CONFIG_NSH_DISABLE_FREE is not set
+# CONFIG_NSH_DISABLE_GET is not set
+# CONFIG_NSH_DISABLE_HELP is not set
+# CONFIG_NSH_DISABLE_HEXDUMP is not set
+# CONFIG_NSH_DISABLE_ITEF is not set
+# CONFIG_NSH_DISABLE_KILL is not set
+# CONFIG_NSH_DISABLE_LOOPS is not set
+# CONFIG_NSH_DISABLE_LOSETUP is not set
+# CONFIG_NSH_DISABLE_LS is not set
+# CONFIG_NSH_DISABLE_MKDIR is not set
+# CONFIG_NSH_DISABLE_MKRD is not set
+# CONFIG_NSH_DISABLE_MOUNT is not set
+# CONFIG_NSH_DISABLE_MV is not set
+# CONFIG_NSH_DISABLE_PRINTF is not set
+# CONFIG_NSH_DISABLE_PUT is not set
+# CONFIG_NSH_DISABLE_PWD is not set
+# CONFIG_NSH_DISABLE_RM is not set
+# CONFIG_NSH_DISABLE_RMDIR is not set
+# CONFIG_NSH_DISABLE_SEMICOLON is not set
+# CONFIG_NSH_DISABLE_SET is not set
+# CONFIG_NSH_DISABLE_SLEEP is not set
+# CONFIG_NSH_DISABLE_SOURCE is not set
+# CONFIG_NSH_DISABLE_TEST is not set
+# CONFIG_NSH_DISABLE_TIME is not set
+# CONFIG_NSH_DISABLE_TRUNCATE is not set
+# CONFIG_NSH_DISABLE_UMOUNT is not set
+# CONFIG_NSH_DISABLE_UNAME is not set
+# CONFIG_NSH_DISABLE_UNSET is not set
+# CONFIG_NSH_DISABLE_UPTIME is not set
+# CONFIG_NSH_DISABLE_USLEEP is not set
+# CONFIG_NSH_DISABLE_WGET is not set
+# CONFIG_NSH_DISABLE_XD is not set
 CONFIG_ARCH="arm"
 CONFIG_ARCH_BOARD="nucleo-f302r8"
 CONFIG_ARCH_BOARD_COMMON=y
@@ -19,15 +73,26 @@ CONFIG_BOARD_LOOPSPERMSEC=8499
 CONFIG_BUILTIN=y
 CONFIG_DEBUG_FULLOPT=y
 CONFIG_DEBUG_SYMBOLS=y
+CONFIG_DEFAULT_SMALL=y
 CONFIG_EXAMPLES_QENCODER=y
 CONFIG_EXAMPLES_QENCODER_HAVE_MAXPOS=y
 CONFIG_EXAMPLES_QENCODER_MAXPOS=8192
+CONFIG_FILE_STREAM=y
 CONFIG_INIT_ENTRYPOINT="nsh_main"
 CONFIG_INTELHEX_BINARY=y
+CONFIG_LIBC_FLOATINGPOINT=y
+CONFIG_LIBC_LONG_LONG=y
+CONFIG_LIBM_TOOLCHAIN=y
 CONFIG_MQ_MAXMSGSIZE=5
 CONFIG_NSH_ARCHINIT=y
+CONFIG_NSH_ARGCAT=y
 CONFIG_NSH_BUILTIN_APPS=y
-CONFIG_PREALLOC_TIMERS=4
+CONFIG_NSH_CLE=y
+CONFIG_NSH_FILEIOSIZE=1024
+CONFIG_NSH_LINELEN=80
+CONFIG_PREALLOC_MQ_IRQ_MSGS=8
+CONFIG_PREALLOC_MQ_MSGS=8
+CONFIG_PTHREAD_MUTEX_ROBUST=y
 CONFIG_RAM_SIZE=16386
 CONFIG_RAM_START=0x20000000
 CONFIG_RAW_BINARY=y
@@ -35,6 +100,7 @@ CONFIG_RR_INTERVAL=200
 CONFIG_SCHED_WAITPID=y
 CONFIG_SENSORS=y
 CONFIG_SENSORS_QENCODER=y
+CONFIG_SIG_PREALLOC_IRQ_ACTIONS=8
 CONFIG_START_DAY=14
 CONFIG_START_MONTH=10
 CONFIG_START_YEAR=2014

boards/arm/stm32/stm32f334-disco/configs/powerled/defconfig

@@ -7,7 +7,23 @@
 #
 # CONFIG_ARCH_FPU is not set
 # CONFIG_DEV_NULL is not set
-# CONFIG_LIBC_LONG_LONG is not set
+# CONFIG_DISABLE_POSIX_TIMERS is not set
+# CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set
+# CONFIG_NSH_DISABLEBG is not set
+# CONFIG_NSH_DISABLESCRIPT is not set
+# CONFIG_NSH_DISABLE_DMESG is not set
+# CONFIG_NSH_DISABLE_ECHO is not set
+# CONFIG_NSH_DISABLE_ENV is not set
+# CONFIG_NSH_DISABLE_EXPORT is not set
+# CONFIG_NSH_DISABLE_FREE is not set
+# CONFIG_NSH_DISABLE_HELP is not set
+# CONFIG_NSH_DISABLE_ITEF is not set
+# CONFIG_NSH_DISABLE_LOOPS is not set
+# CONFIG_NSH_DISABLE_LS is not set
+# CONFIG_NSH_DISABLE_PRINTF is not set
+# CONFIG_NSH_DISABLE_SEMICOLON is not set
+# CONFIG_NSH_DISABLE_TRUNCATE is not set
+# CONFIG_NSH_DISABLE_UPTIME is not set
 CONFIG_ANALOG=y
 CONFIG_ARCH="arm"
 CONFIG_ARCH_BOARD="stm32f334-disco"
@@ -24,14 +40,13 @@ CONFIG_COMP=y
 CONFIG_DAC=y
 CONFIG_DEBUG_FULLOPT=y
 CONFIG_DEBUG_SYMBOLS=y
-CONFIG_DISABLE_ENVIRON=y
-CONFIG_DISABLE_MQUEUE=y
-CONFIG_DISABLE_PTHREAD=y
+CONFIG_DEFAULT_SMALL=y
 CONFIG_DRIVERS_POWERLED=y
 CONFIG_EXAMPLES_POWERLED=y
 CONFIG_EXAMPLES_POWERLED_CURRENT_LIMIT=100
 CONFIG_EXAMPLES_POWERLED_DEVPATH="/dev/powerled0"
 CONFIG_FDCLONE_STDIO=y
+CONFIG_FILE_STREAM=y
 CONFIG_INIT_ENTRYPOINT="nsh_main"
 CONFIG_INIT_STACKSIZE=1024
 CONFIG_INTELHEX_BINARY=y
@@ -39,44 +54,10 @@ CONFIG_LIBC_FLOATINGPOINT=y
 CONFIG_LIBM=y
 CONFIG_NAME_MAX=16
 CONFIG_NSH_ARCHINIT=y
+CONFIG_NSH_ARGCAT=y
 CONFIG_NSH_BUILTIN_APPS=y
-CONFIG_NSH_DISABLE_BASENAME=y
-CONFIG_NSH_DISABLE_CAT=y
-CONFIG_NSH_DISABLE_CD=y
-CONFIG_NSH_DISABLE_CMP=y
-CONFIG_NSH_DISABLE_CP=y
-CONFIG_NSH_DISABLE_DD=y
-CONFIG_NSH_DISABLE_DF=y
-CONFIG_NSH_DISABLE_DIRNAME=y
-CONFIG_NSH_DISABLE_EXEC=y
-CONFIG_NSH_DISABLE_EXIT=y
-CONFIG_NSH_DISABLE_GET=y
-CONFIG_NSH_DISABLE_HEXDUMP=y
-CONFIG_NSH_DISABLE_KILL=y
-CONFIG_NSH_DISABLE_LOSETUP=y
-CONFIG_NSH_DISABLE_MKDIR=y
-CONFIG_NSH_DISABLE_MKRD=y
-CONFIG_NSH_DISABLE_MOUNT=y
-CONFIG_NSH_DISABLE_MV=y
-CONFIG_NSH_DISABLE_PUT=y
-CONFIG_NSH_DISABLE_PWD=y
-CONFIG_NSH_DISABLE_RM=y
-CONFIG_NSH_DISABLE_RMDIR=y
-CONFIG_NSH_DISABLE_SET=y
-CONFIG_NSH_DISABLE_SLEEP=y
-CONFIG_NSH_DISABLE_SOURCE=y
-CONFIG_NSH_DISABLE_TEST=y
-CONFIG_NSH_DISABLE_TIME=y
-CONFIG_NSH_DISABLE_UMOUNT=y
-CONFIG_NSH_DISABLE_UNAME=y
-CONFIG_NSH_DISABLE_UNSET=y
-CONFIG_NSH_DISABLE_USLEEP=y
-CONFIG_NSH_DISABLE_WGET=y
-CONFIG_NSH_DISABLE_XD=y
 CONFIG_NSH_FILEIOSIZE=256
-CONFIG_NSH_LINELEN=64
 CONFIG_NSH_MAXARGUMENTS=16
-CONFIG_NSH_READLINE=y
 CONFIG_POSIX_SPAWN_DEFAULT_STACKSIZE=512
 CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=512
 CONFIG_PREALLOC_TIMERS=2
@@ -87,6 +68,7 @@ CONFIG_RAM_START=0x20000000
 CONFIG_RAW_BINARY=y
 CONFIG_RR_INTERVAL=200
 CONFIG_SCHED_WAITPID=y
+CONFIG_SIG_PREALLOC_IRQ_ACTIONS=8
 CONFIG_START_DAY=6
 CONFIG_START_MONTH=12
 CONFIG_START_YEAR=2011

boards/arm/tiva/lm3s6965-ek/configs/qemu-flat/defconfig

@@ -78,7 +78,6 @@ CONFIG_RR_INTERVAL=200
 CONFIG_SCHED_HPWORK=y
 CONFIG_SCHED_WAITPID=y
 CONFIG_SIG_DEFAULT=y
-CONFIG_SIG_PIPE=11
 CONFIG_SPI=y
 CONFIG_STACK_COLORATION=y
 CONFIG_START_DAY=8

boards/arm/tiva/lm3s6965-ek/configs/qemu-nxflat/defconfig

@@ -46,7 +46,6 @@ CONFIG_RR_INTERVAL=200
 CONFIG_SCHED_HPWORK=y
 CONFIG_SCHED_WAITPID=y
 CONFIG_SIG_DEFAULT=y
-CONFIG_SIG_PIPE=11
 CONFIG_SPI=y
 CONFIG_START_DAY=8
 CONFIG_START_MONTH=5

boards/arm/tiva/lm3s6965-ek/configs/qemu-protected/defconfig

@@ -86,7 +86,6 @@ CONFIG_RR_INTERVAL=200
 CONFIG_SCHED_HPWORK=y
 CONFIG_SCHED_WAITPID=y
 CONFIG_SIG_DEFAULT=y
-CONFIG_SIG_PIPE=11
 CONFIG_SPI=y
 CONFIG_STACK_COLORATION=y
 CONFIG_START_DAY=8

boards/sim/sim/sim/configs/nimble/defconfig

@@ -67,7 +67,6 @@ CONFIG_SCHED_HAVE_PARENT=y
 CONFIG_SCHED_WAITPID=y
 CONFIG_SIG_DEFAULT=y
 CONFIG_SIG_EVTHREAD=y
-CONFIG_SIG_PIPE=11
 CONFIG_SIM_HCISOCKET=y
 CONFIG_SIM_M32=y
 CONFIG_START_DAY=3

boards/z80/z180/p112/configs/ostest/defconfig

@@ -6,7 +6,6 @@
 # modifications.
 #
 # CONFIG_DEV_CONSOLE is not set
-# CONFIG_FILE_STREAM is not set
 CONFIG_ARCH="z80"
 CONFIG_ARCH_BOARD="z80sim"
 CONFIG_ARCH_BOARD_Z80SIM=y

boards/z80/z8/z8encore000zco/configs/ostest/defconfig

@@ -6,7 +6,6 @@
 # modifications.
 #
 # CONFIG_ARCH_LEDS is not set
-# CONFIG_FILE_STREAM is not set
 CONFIG_ARCH="z80"
 CONFIG_ARCH_BOARD="z8encore000zco"
 CONFIG_ARCH_BOARD_Z8ENCORE000ZCO=y

boards/z80/z8/z8f64200100kit/configs/ostest/defconfig

@@ -6,7 +6,6 @@
 # modifications.
 #
 # CONFIG_ARCH_LEDS is not set
-# CONFIG_FILE_STREAM is not set
 CONFIG_ARCH="z80"
 CONFIG_ARCH_BOARD="z8f64200100kit"
 CONFIG_ARCH_BOARD_Z8F64200100KIT=y

boards/z80/z80/z80sim/configs/ostest/defconfig

@@ -6,7 +6,6 @@
 # modifications.
 #
 # CONFIG_DEV_CONSOLE is not set
-# CONFIG_FILE_STREAM is not set
 CONFIG_ARCH="z80"
 CONFIG_ARCH_BOARD="z80sim"
 CONFIG_ARCH_BOARD_Z80SIM=y