801b9d6e5f
Remove support for the Codesourcery, Atollic, DevKitArm, Raisonance, and CodeRed toolchains. Not only are these tools old and no longer used but they are all equivalent to standard ARM EABI toolchains. Retaining specific support has no effect (they are still supported, but now just as generic EABI toolchains).
73 lines
2.1 KiB
Plaintext
73 lines
2.1 KiB
Plaintext
#
|
|
# This file is autogenerated: PLEASE DO NOT EDIT IT.
|
|
#
|
|
# You can use "make menuconfig" to make any modifications to the installed .config file.
|
|
# You can then do "make savedefconfig" to generate a new defconfig file that includes your
|
|
# modifications.
|
|
#
|
|
# CONFIG_DISABLE_POSIX_TIMERS is not set
|
|
# CONFIG_NSH_DISABLEBG is not set
|
|
# CONFIG_NSH_DISABLESCRIPT is not set
|
|
# CONFIG_NSH_DISABLE_CMP is not set
|
|
# CONFIG_NSH_DISABLE_DD is not set
|
|
# CONFIG_NSH_DISABLE_EXEC is not set
|
|
# CONFIG_NSH_DISABLE_EXIT is not set
|
|
# CONFIG_NSH_DISABLE_GET is not set
|
|
# CONFIG_NSH_DISABLE_HEXDUMP is not set
|
|
# CONFIG_NSH_DISABLE_IFCONFIG is not set
|
|
# CONFIG_NSH_DISABLE_ITEF is not set
|
|
# CONFIG_NSH_DISABLE_LOOPS is not set
|
|
# CONFIG_NSH_DISABLE_LOSETUP is not set
|
|
# CONFIG_NSH_DISABLE_MKRD is not set
|
|
# CONFIG_NSH_DISABLE_PS is not set
|
|
# CONFIG_NSH_DISABLE_PUT is not set
|
|
# CONFIG_NSH_DISABLE_SEMICOLON is not set
|
|
# CONFIG_NSH_DISABLE_WGET is not set
|
|
# CONFIG_NSH_DISABLE_XD is not set
|
|
CONFIG_ARCH="arm"
|
|
CONFIG_ARCH_BOARD="samd21-xplained"
|
|
CONFIG_ARCH_BOARD_SAMD21_XPLAINED=y
|
|
CONFIG_ARCH_BUTTONS=y
|
|
CONFIG_ARCH_CHIP="samd2l2"
|
|
CONFIG_ARCH_CHIP_SAMD21J18A=y
|
|
CONFIG_ARCH_CHIP_SAMD2X=y
|
|
CONFIG_ARCH_STACKDUMP=y
|
|
CONFIG_BOARD_LOOPSPERMSEC=3410
|
|
CONFIG_BUILTIN=y
|
|
CONFIG_DEFAULT_SMALL=y
|
|
CONFIG_HAVE_CXX=y
|
|
CONFIG_HAVE_CXXINITIALIZE=y
|
|
CONFIG_HOST_WINDOWS=y
|
|
CONFIG_INTELHEX_BINARY=y
|
|
CONFIG_MAX_TASKS=16
|
|
CONFIG_MAX_WDOGPARMS=2
|
|
CONFIG_NFILE_DESCRIPTORS=8
|
|
CONFIG_NFILE_STREAMS=8
|
|
CONFIG_NSH_BUILTIN_APPS=y
|
|
CONFIG_PREALLOC_MQ_MSGS=4
|
|
CONFIG_PREALLOC_TIMERS=4
|
|
CONFIG_PREALLOC_WDOGS=4
|
|
CONFIG_PTHREAD_STACK_DEFAULT=1536
|
|
CONFIG_RAM_SIZE=32768
|
|
CONFIG_RAM_START=0x20000000
|
|
CONFIG_RR_INTERVAL=200
|
|
CONFIG_SAMD2L2_SERCOM3=y
|
|
CONFIG_SAMD2L2_SERCOM4=y
|
|
CONFIG_SCHED_WAITPID=y
|
|
CONFIG_SDCLONE_DISABLE=y
|
|
CONFIG_START_DAY=21
|
|
CONFIG_START_MONTH=6
|
|
CONFIG_START_YEAR=2015
|
|
CONFIG_SYSTEM_NSH=y
|
|
CONFIG_SYSTEM_NSH_CXXINITIALIZE=y
|
|
CONFIG_TASK_NAME_SIZE=0
|
|
CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=1536
|
|
CONFIG_USART3_RXBUFSIZE=64
|
|
CONFIG_USART3_TXBUFSIZE=64
|
|
CONFIG_USART4_RXBUFSIZE=64
|
|
CONFIG_USART4_SERIAL_CONSOLE=y
|
|
CONFIG_USART4_TXBUFSIZE=64
|
|
CONFIG_USERMAIN_STACKSIZE=1536
|
|
CONFIG_USER_ENTRYPOINT="nsh_main"
|
|
CONFIG_WDOG_INTRESERVE=0
|