px4nucleoF767ZI-v1 nsh Refreshed nuttx config for 7.19+

nuttx-configs/px4nucleoF767ZI-v1/nsh/defconfig

@@ -76,7 +76,6 @@ CONFIG_ARCH="arm"
 #
 # CONFIG_ARCH_CHIP_A1X is not set
 # CONFIG_ARCH_CHIP_C5471 is not set
-# CONFIG_ARCH_CHIP_CALYPSO is not set
 # CONFIG_ARCH_CHIP_DM320 is not set
 # CONFIG_ARCH_CHIP_EFM32 is not set
 # CONFIG_ARCH_CHIP_IMX1 is not set
@@ -107,7 +106,9 @@ CONFIG_ARCH_CHIP_STM32F7=y
 # CONFIG_ARCH_ARM926EJS is not set
 # CONFIG_ARCH_ARM920T is not set
 # CONFIG_ARCH_CORTEXM0 is not set
+# CONFIG_ARCH_CORTEXM23 is not set
 # CONFIG_ARCH_CORTEXM3 is not set
+# CONFIG_ARCH_CORTEXM33 is not set
 # CONFIG_ARCH_CORTEXM4 is not set
 CONFIG_ARCH_CORTEXM7=y
 # CONFIG_ARCH_CORTEXA5 is not set
@@ -532,14 +533,14 @@ CONFIG_DISABLE_OS_API=y
 #
 # Clocks and Timers
 #
+CONFIG_START_YEAR=2016
+CONFIG_START_MONTH=11
+CONFIG_START_DAY=30
 CONFIG_USEC_PER_TICK=1000
 # CONFIG_SYSTEM_TIME64 is not set
 # CONFIG_CLOCK_MONOTONIC is not set
 # CONFIG_ARCH_HAVE_TIMEKEEPING is not set
 # CONFIG_JULIAN_TIME is not set
-CONFIG_START_YEAR=2016
-CONFIG_START_MONTH=11
-CONFIG_START_DAY=30
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_PREALLOC_WDOGS=50
 CONFIG_WDOG_INTRESERVE=4
@@ -548,6 +549,7 @@ CONFIG_PREALLOC_TIMERS=50
 #
 # Tasks and Scheduling
 #
+# CONFIG_SPINLOCK is not set
 # CONFIG_INIT_NONE is not set
 CONFIG_INIT_ENTRYPOINT=y
 # CONFIG_INIT_FILEPATH is not set
@@ -565,6 +567,7 @@ CONFIG_SCHED_WAITPID=y
 # CONFIG_MUTEX_TYPES is not set
 CONFIG_NPTHREAD_KEYS=4
 # CONFIG_PTHREAD_CLEANUP is not set
+# CONFIG_CANCELLATION_POINTS is not set
 
 #
 # Performance Monitoring
@@ -573,7 +576,7 @@ CONFIG_NPTHREAD_KEYS=4
 CONFIG_SCHED_INSTRUMENTATION=y
 # CONFIG_SCHED_INSTRUMENTATION_PREEMPTION is not set
 # CONFIG_SCHED_INSTRUMENTATION_CSECTION is not set
-# CONFIG_SCHED_INSTRUMENTATION_SPINLOCK is not set
+# CONFIG_SCHED_INSTRUMENTATION_SPINLOCKS is not set
 # CONFIG_SCHED_INSTRUMENTATION_BUFFER is not set
 
 #
@@ -776,7 +779,6 @@ CONFIG_DEV_FIFO_SIZE=1024
 # CONFIG_PM is not set
 # CONFIG_POWER is not set
 # CONFIG_SENSORS is not set
-# CONFIG_SERCOMM_CONSOLE is not set
 CONFIG_SERIAL=y
 # CONFIG_DEV_LOWCONSOLE is not set
 CONFIG_SERIAL_REMOVABLE=y
@@ -1061,9 +1063,24 @@ CONFIG_STDIO_BUFFER_SIZE=32
 CONFIG_STDIO_LINEBUFFER=y
 CONFIG_NUNGET_CHARS=2
 CONFIG_LIB_HOMEDIR="/"
+# CONFIG_LIBC_DLLFCN is not set
+CONFIG_LIBC_ARCH_MEMCPY=y
+# CONFIG_LIBC_ARCH_MEMCMP is not set
+# CONFIG_LIBC_ARCH_MEMMOVE is not set
+# CONFIG_LIBC_ARCH_MEMSET is not set
+# CONFIG_LIBC_ARCH_STRCHR is not set
+# CONFIG_LIBC_ARCH_STRCMP is not set
+# CONFIG_LIBC_ARCH_STRCPY is not set
+# CONFIG_LIBC_ARCH_STRNCPY is not set
+# CONFIG_LIBC_ARCH_STRLEN is not set
+# CONFIG_LIBC_ARCH_STRNLEN is not set
+# CONFIG_LIBC_ARCH_BZERO is not set
+# CONFIG_LIBC_ARCH_ELF is not set
+CONFIG_ARMV7M_MEMCPY=y
 # CONFIG_NOPRINTF_FIELDWIDTH is not set
 CONFIG_LIBC_FLOATINGPOINT=y
 CONFIG_LIBC_LONG_LONG=y
+# CONFIG_LIBC_SCANSET is not set
 # CONFIG_LIBC_IOCTL_VARIADIC is not set
 # CONFIG_LIBC_WCHAR is not set
 # CONFIG_LIBC_LOCALE is not set
@@ -1085,19 +1102,7 @@ CONFIG_ARCH_LOWPUTC=y
 CONFIG_TIME_EXTENDED=y
 CONFIG_LIB_SENDFILE_BUFSIZE=512
 # CONFIG_ARCH_ROMGETC is not set
-CONFIG_ARCH_OPTIMIZED_FUNCTIONS=y
-CONFIG_ARCH_MEMCPY=y
-# CONFIG_ARCH_MEMCMP is not set
-# CONFIG_ARCH_MEMMOVE is not set
-# CONFIG_ARCH_MEMSET is not set
 # CONFIG_MEMSET_OPTSPEED is not set
-# CONFIG_ARCH_STRCHR is not set
-# CONFIG_ARCH_STRCMP is not set
-# CONFIG_ARCH_STRCPY is not set
-# CONFIG_ARCH_STRNCPY is not set
-# CONFIG_ARCH_STRLEN is not set
-# CONFIG_ARCH_STRNLEN is not set
-# CONFIG_ARCH_BZERO is not set
 CONFIG_ARCH_HAVE_TLS=y
 # CONFIG_TLS is not set
 # CONFIG_LIBC_IPv4_ADDRCONV is not set
@@ -1304,15 +1309,17 @@ CONFIG_NSH_DISABLE_LOSMART=y
 # CONFIG_NSH_DISABLE_MOUNT is not set
 # CONFIG_NSH_DISABLE_MV is not set
 # CONFIG_NSH_DISABLE_MW is not set
-# CONFIG_NSH_DISABLE_PRINTF not set
+CONFIG_NSH_DISABLE_PRINTF=y
 # CONFIG_NSH_DISABLE_PS is not set
 # CONFIG_NSH_DISABLE_PSSTACKUSAGE is not set
 # CONFIG_NSH_DISABLE_PUT is not set
 # CONFIG_NSH_DISABLE_PWD is not set
+CONFIG_NSH_DISABLE_REBOOT=y
 # CONFIG_NSH_DISABLE_RM is not set
 # CONFIG_NSH_DISABLE_RMDIR is not set
 # CONFIG_NSH_DISABLE_SET is not set
 # CONFIG_NSH_DISABLE_SH is not set
+CONFIG_NSH_DISABLE_SHUTDOWN=y
 # CONFIG_NSH_DISABLE_SLEEP is not set
 # CONFIG_NSH_DISABLE_TIME is not set
 # CONFIG_NSH_DISABLE_TEST is not set
@@ -1329,6 +1336,7 @@ CONFIG_NSH_MMCSDSLOTNO=0
 # Configure Command Options
 #
 # CONFIG_NSH_CMDOPT_DF_H is not set
+# CONFIG_NSH_CMDOPT_DD_STATS is not set
 CONFIG_NSH_CODECS_BUFSIZE=128
 # CONFIG_NSH_CMDOPT_HEXDUMP is not set
 CONFIG_NSH_PROC_MOUNTPOINT="/proc"