# CONFIG_ARCH_FPU is not set # CONFIG_NSH_ARGCAT is not set # CONFIG_NSH_CMDOPT_DF_H is not set # CONFIG_NSH_CMDOPT_HEXDUMP is not set # CONFIG_NSH_CMDPARMS is not set # CONFIG_NSH_DISABLE_IFCONFIG is not set # CONFIG_NSH_DISABLE_PS is not set CONFIG_ARCH_BOARD_TEENSY_3X=y CONFIG_ARCH_BOARD="teensy-3.x" CONFIG_ARCH_CHIP_KINETIS=y CONFIG_ARCH_CHIP_MK20DX256VLH7=y CONFIG_ARCH_STACKDUMP=y CONFIG_ARCH="arm" CONFIG_BOARD_LOOPSPERMSEC=6024 CONFIG_BUILTIN=y CONFIG_CDCACM=y CONFIG_DISABLE_POLL=y CONFIG_EXAMPLES_NSH=y CONFIG_EXPERIMENTAL=y CONFIG_INTELHEX_BINARY=y CONFIG_KINETIS_SERIALBRK_BSDCOMPAT=y CONFIG_KINETIS_UART_BREAKS=y CONFIG_KINETIS_UART0=y CONFIG_KINETIS_UARTFIFOS=y CONFIG_KINETIS_USBOTG=y CONFIG_MAX_TASKS=16 CONFIG_MAX_WDOGPARMS=2 CONFIG_NFILE_DESCRIPTORS=8 CONFIG_NFILE_STREAMS=8 CONFIG_NSH_ARCHINIT=y CONFIG_NSH_BUILTIN_APPS=y CONFIG_NSH_FILEIOSIZE=512 CONFIG_NSH_LINELEN=64 CONFIG_NSH_READLINE=y CONFIG_NSH_USBCONSOLE=y CONFIG_PREALLOC_MQ_MSGS=4 CONFIG_PREALLOC_TIMERS=4 CONFIG_PREALLOC_WDOGS=16 CONFIG_RAM_SIZE=65536 CONFIG_RAM_START=0x1fff8000 CONFIG_RAW_BINARY=y CONFIG_READLINE_CMD_HISTORY=y CONFIG_READLINE_TABCOMPLETION=y CONFIG_RR_INTERVAL=200 CONFIG_SCHED_WAITPID=y CONFIG_SDCLONE_DISABLE=y CONFIG_SERIAL_TERMIOS=y CONFIG_SPI=y CONFIG_START_DAY=6 CONFIG_START_MONTH=12 CONFIG_START_YEAR=2011 CONFIG_SYSTEM_CDCACM=y CONFIG_SYSTEM_HEXED=y CONFIG_SYSTEM_RAMTEST=y CONFIG_TASK_NAME_SIZE=0 CONFIG_UART0_SERIAL_CONSOLE=y CONFIG_USBDEV_BUSPOWERED=y CONFIG_USBDEV_DUALSPEED=y CONFIG_USBDEV_TRACE_INITIALIDSET=y CONFIG_USBDEV_TRACE=y CONFIG_USBDEV=y CONFIG_USBMONITOR_TRACECLASS=y CONFIG_USBMONITOR_TRACECONTROLLER=y CONFIG_USBMONITOR_TRACEINIT=y CONFIG_USBMONITOR_TRACEINTERRUPTS=y CONFIG_USBMONITOR_TRACETRANSFERS=y CONFIG_USBMONITOR=y CONFIG_USER_ENTRYPOINT="nsh_main"