diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-03-06 16:02:18 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-03-06 16:02:18 -0600 |
commit | 539e245c01a62dabb4190d59f4df8c96f9e2ca4e (patch) | |
tree | 4ab7973679be261bcb13756402c1e58254cae817 /nuttx/configs/sama5d3x-ek/nsh/defconfig | |
parent | 34f6b9dbda2bcc7b79a6cf8a91a0d9dd4d969168 (diff) | |
download | px4-nuttx-539e245c01a62dabb4190d59f4df8c96f9e2ca4e.tar.gz px4-nuttx-539e245c01a62dabb4190d59f4df8c96f9e2ca4e.tar.bz2 px4-nuttx-539e245c01a62dabb4190d59f4df8c96f9e2ca4e.zip |
Refresh several defconfig files to (1) bring them up-to-date, and (2) to confirm that no bugs were introduced in recent massive Kconfig file changes
Diffstat (limited to 'nuttx/configs/sama5d3x-ek/nsh/defconfig')
-rw-r--r-- | nuttx/configs/sama5d3x-ek/nsh/defconfig | 36 |
1 files changed, 33 insertions, 3 deletions
diff --git a/nuttx/configs/sama5d3x-ek/nsh/defconfig b/nuttx/configs/sama5d3x-ek/nsh/defconfig index 9143f8a09..311818173 100644 --- a/nuttx/configs/sama5d3x-ek/nsh/defconfig +++ b/nuttx/configs/sama5d3x-ek/nsh/defconfig @@ -7,6 +7,7 @@ # Build Setup # # CONFIG_EXPERIMENTAL is not set +# CONFIG_DEFAULT_SMALL is not set # CONFIG_HOST_LINUX is not set # CONFIG_HOST_OSX is not set CONFIG_HOST_WINDOWS=y @@ -33,6 +34,7 @@ CONFIG_RAW_BINARY=y # # Customize Header Files # +# CONFIG_ARCH_STDINT_H is not set # CONFIG_ARCH_STDBOOL_H is not set # CONFIG_ARCH_MATH_H is not set # CONFIG_ARCH_FLOAT_H is not set @@ -84,6 +86,7 @@ CONFIG_ARCH="arm" # CONFIG_ARCH_CHIP_LPC43XX is not set # CONFIG_ARCH_CHIP_NUC1XX is not set CONFIG_ARCH_CHIP_SAMA5=y +# CONFIG_ARCH_CHIP_SAMD is not set # CONFIG_ARCH_CHIP_SAM34 is not set # CONFIG_ARCH_CHIP_STM32 is not set # CONFIG_ARCH_CHIP_STR71X is not set @@ -103,7 +106,6 @@ CONFIG_ARCH_FPU=y CONFIG_ARCH_HAVE_LOWVECTORS=y CONFIG_ARCH_LOWVECTORS=y # CONFIG_ARCH_ROMPGTABLE is not set -# CONFIG_PAGING is not set # # ARMv7-A Configuration Options @@ -210,9 +212,11 @@ CONFIG_ARCH_HAVE_IRQPRIO=y CONFIG_ARCH_HAVE_VFORK=y CONFIG_ARCH_HAVE_MMU=y CONFIG_ARCH_NAND_HWECC=y +# CONFIG_PAGING is not set CONFIG_ARCH_IRQPRIO=y CONFIG_ARCH_STACKDUMP=y # CONFIG_ENDIAN_BIG is not set +# CONFIG_ARCH_IDLE_CUSTOM is not set # CONFIG_ARCH_HAVE_RAMFUNCS is not set # CONFIG_ARCH_HAVE_RAMVECTORS is not set @@ -277,6 +281,7 @@ CONFIG_NSH_MMCSDMINOR=0 CONFIG_MSEC_PER_TICK=10 # CONFIG_SYSTEM_TIME64 is not set CONFIG_RR_INTERVAL=200 +# CONFIG_SCHED_CPULOAD is not set # CONFIG_SCHED_INSTRUMENTATION is not set CONFIG_TASK_NAME_SIZE=32 # CONFIG_SCHED_HAVE_PARENT is not set @@ -367,7 +372,27 @@ CONFIG_DEV_NULL=y CONFIG_SERIAL=y # CONFIG_DEV_LOWCONSOLE is not set # CONFIG_16550_UART is not set +# CONFIG_ARCH_HAVE_UART is not set +# CONFIG_ARCH_HAVE_UART0 is not set +# CONFIG_ARCH_HAVE_UART1 is not set +# CONFIG_ARCH_HAVE_UART2 is not set +# CONFIG_ARCH_HAVE_UART3 is not set +# CONFIG_ARCH_HAVE_UART4 is not set +# CONFIG_ARCH_HAVE_UART5 is not set +# CONFIG_ARCH_HAVE_UART6 is not set +# CONFIG_ARCH_HAVE_UART7 is not set +# CONFIG_ARCH_HAVE_UART8 is not set +# CONFIG_ARCH_HAVE_SCI0 is not set +# CONFIG_ARCH_HAVE_SCI1 is not set +# CONFIG_ARCH_HAVE_USART0 is not set CONFIG_ARCH_HAVE_USART1=y +# CONFIG_ARCH_HAVE_USART2 is not set +# CONFIG_ARCH_HAVE_USART3 is not set +# CONFIG_ARCH_HAVE_USART4 is not set +# CONFIG_ARCH_HAVE_USART5 is not set +# CONFIG_ARCH_HAVE_USART6 is not set +# CONFIG_ARCH_HAVE_USART7 is not set +# CONFIG_ARCH_HAVE_USART8 is not set # # USART Configuration @@ -419,6 +444,7 @@ CONFIG_USART1_2STOP=0 # File system configuration # # CONFIG_DISABLE_MOUNTPOINT is not set +# CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set CONFIG_FS_READABLE=y CONFIG_FS_WRITABLE=y # CONFIG_FS_RAMMAP is not set @@ -633,6 +659,7 @@ CONFIG_NSH_BUILTIN_APPS=y # CONFIG_NSH_DISABLE_CP is not set # CONFIG_NSH_DISABLE_CMP is not set # CONFIG_NSH_DISABLE_DD is not set +# CONFIG_NSH_DISABLE_DF is not set # CONFIG_NSH_DISABLE_DELROUTE is not set # CONFIG_NSH_DISABLE_ECHO is not set # CONFIG_NSH_DISABLE_EXEC is not set @@ -653,9 +680,7 @@ CONFIG_NSH_BUILTIN_APPS=y # CONFIG_NSH_DISABLE_MH is not set # CONFIG_NSH_DISABLE_MOUNT is not set # CONFIG_NSH_DISABLE_MW is not set -# CONFIG_NSH_DISABLE_NSFMOUNT is not set # CONFIG_NSH_DISABLE_PS is not set -# CONFIG_NSH_DISABLE_PING is not set # CONFIG_NSH_DISABLE_PUT is not set # CONFIG_NSH_DISABLE_PWD is not set # CONFIG_NSH_DISABLE_RM is not set @@ -780,6 +805,11 @@ CONFIG_READLINE_ECHO=y # # +# EMACS-like Command Line Editor +# +# CONFIG_SYSTEM_CLE is not set + +# # VI Work-Alike Editor # # CONFIG_SYSTEM_VI is not set |