#
# 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_DEV_NULL is not set
# CONFIG_DISABLE_ENVIRON is not set
# CONFIG_DISABLE_MQUEUE is not set
# CONFIG_DISABLE_POSIX_TIMERS is not set
# CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set
# CONFIG_DISABLE_PTHREAD is not set
# CONFIG_FS_PROCFS_EXCLUDE_ENVIRON is not set
# CONFIG_FS_PROCFS_EXCLUDE_MEMINFO is not set
# CONFIG_FS_PROCFS_EXCLUDE_PARTITIONS is not set
# CONFIG_FS_PROCFS_EXCLUDE_PROCESS is not set
# CONFIG_FS_PROCFS_EXCLUDE_UPTIME is not set
# CONFIG_FS_PROCFS_EXCLUDE_VERSION is not set
# CONFIG_NSH_DISABLEBG is not set
# CONFIG_NSH_DISABLESCRIPT is not set
# CONFIG_NSH_DISABLE_CAT is not set
# CONFIG_NSH_DISABLE_CD is not set
# CONFIG_NSH_DISABLE_DF is not set
# CONFIG_NSH_DISABLE_ECHO is not set
# CONFIG_NSH_DISABLE_EXIT 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_KILL is not set
# CONFIG_NSH_DISABLE_LOOPS is not set
# CONFIG_NSH_DISABLE_LS is not set
# CONFIG_NSH_DISABLE_PS is not set
# CONFIG_NSH_DISABLE_PSSTACKUSAGE is not set
# CONFIG_NSH_DISABLE_PWD is not set
# CONFIG_NSH_DISABLE_SEMICOLON is not set
# CONFIG_NSH_DISABLE_UNAME is not set
# CONFIG_NSH_DISABLE_XD is not set
CONFIG_ARCH="arm"
CONFIG_ARCH_BOARD="tlsr8278adk80d"
CONFIG_ARCH_BOARD_TLSR8278ADK80D=y
CONFIG_ARCH_CHIP="tlsr82"
CONFIG_ARCH_CHIP_TLSR8278=y
CONFIG_ARCH_CHIP_TLSR82=y
CONFIG_ARCH_INTERRUPTSTACK=1024
CONFIG_ARCH_SETJMP_H=y
CONFIG_ARCH_STACKDUMP=y
CONFIG_BOARDCTL=y
CONFIG_BOARD_LATE_INITIALIZE=y
CONFIG_BOARD_LOOPSPERMSEC=2000
CONFIG_BUILTIN=y
CONFIG_DEBUG_ASSERTIONS=y
CONFIG_DEBUG_CUSTOMOPT=y
CONFIG_DEBUG_ERROR=y
CONFIG_DEBUG_FEATURES=y
CONFIG_DEBUG_SYMBOLS=y
CONFIG_DEFAULT_SMALL=y
CONFIG_DEV_GPIO=y
CONFIG_DRVR_MKRD=y
CONFIG_EXAMPLES_HELLO=y
CONFIG_FS_PROCFS=y
CONFIG_INIT_ENTRYPOINT="nsh_main"
CONFIG_LIBC_LONG_LONG=y
CONFIG_LIBM=y
CONFIG_MTD=y
CONFIG_MTD_PARTITION=y
CONFIG_NDEBUG=y
CONFIG_NSH_ARGCAT=y
CONFIG_NSH_BUILTIN_APPS=y
CONFIG_NSH_LINELEN=80
CONFIG_NSH_QUOTE=y
CONFIG_PREALLOC_MQ_IRQ_MSGS=8
CONFIG_PREALLOC_MQ_MSGS=8
CONFIG_PTHREAD_MUTEX_ROBUST=y
CONFIG_RAM_SIZE=65536
CONFIG_RAM_START=0x00840000
CONFIG_RAW_BINARY=y
CONFIG_SCHED_BACKTRACE=y
CONFIG_SCHED_HPWORK=y
CONFIG_SIG_PREALLOC_IRQ_ACTIONS=8
CONFIG_STACK_COLORATION=y
CONFIG_SYSLOG_TIMESTAMP=y
CONFIG_SYSTEM_DUMPSTACK=y
CONFIG_SYSTEM_NSH=y
CONFIG_TESTING_OSTEST=y
CONFIG_TIMER=y
CONFIG_TLSR82_FLASH=y
CONFIG_TLSR82_FLASH_FS_OFFSET=0x00000000
CONFIG_TLSR82_FLASH_FS_SIZE=0x80000
CONFIG_TLSR82_GPIO=y
CONFIG_TLSR82_GPIO_IRQ=y
CONFIG_TLSR82_TIMER1=y
CONFIG_TLSR82_TIMER=y
CONFIG_TLSR82_UART0=y
CONFIG_TLSR82_UART=y
CONFIG_TTY_FORCE_PANIC=y
CONFIG_TTY_SIGINT=y
CONFIG_USEC_PER_TICK=1000