# CONFIG_DISABLE_POSIX_TIMERS is not set # CONFIG_NSH_DISABLE_ADDROUTE is not set # CONFIG_NSH_DISABLE_CMP is not set # CONFIG_NSH_DISABLE_DELROUTE is not set # CONFIG_NSH_DISABLE_EXEC is not set # CONFIG_NSH_DISABLE_EXIT is not set # CONFIG_NSH_DISABLE_HEXDUMP is not set # CONFIG_NSH_DISABLE_PS is not set # CONFIG_NSH_DISABLE_XD is not set # CONFIG_NSH_DISABLEBG is not set CONFIG_ARCH_BOARD_TEENSY_LC=y CONFIG_ARCH_BOARD="teensy-lc" CONFIG_ARCH_CHIP_KL=y CONFIG_ARCH_CHIP_MKL25Z64=y CONFIG_ARCH_STACKDUMP=y CONFIG_ARCH="arm" CONFIG_BOARD_LOOPSPERMSEC=2988 CONFIG_BUILTIN=y CONFIG_C99_BOOL8=y CONFIG_DEBUG_CUSTOMOPT=y CONFIG_DEBUG_OPTLEVEL="-Os" CONFIG_DEBUG_SYMBOLS=y CONFIG_DEFAULT_SMALL=y CONFIG_DISABLE_MOUNTPOINT=y CONFIG_DISABLE_MQUEUE=y CONFIG_DISABLE_POLL=y CONFIG_EXAMPLES_NSH=y CONFIG_HAVE_CXX=y CONFIG_HAVE_CXXINITIALIZE=y CONFIG_INTELHEX_BINARY=y CONFIG_KL_I2C0=y CONFIG_KL_I2C1=y CONFIG_KL_SPI0=y CONFIG_KL_SPI1=y CONFIG_KL_TPM0_PWM=y CONFIG_KL_TPM0=y CONFIG_KL_TPM1_PWM=y CONFIG_KL_TPM1=y CONFIG_KL_TPM2_PWM=y CONFIG_KL_TPM2=y CONFIG_KL_UART0=y CONFIG_LIB_BOARDCTL=y CONFIG_MAX_TASKS=8 CONFIG_MAX_WDOGPARMS=2 CONFIG_MM_SMALL=y CONFIG_NFILE_DESCRIPTORS=6 CONFIG_NFILE_STREAMS=6 CONFIG_NPTHREAD_KEYS=0 CONFIG_NSH_BUILTIN_APPS=y CONFIG_NSH_DISABLE_CD=y CONFIG_NSH_DISABLE_CP=y CONFIG_NSH_DISABLE_MKDIR=y CONFIG_NSH_DISABLE_MOUNT=y CONFIG_NSH_DISABLE_RM=y CONFIG_NSH_DISABLE_RMDIR=y CONFIG_NSH_DISABLE_UMOUNT=y CONFIG_NSH_FILEIOSIZE=64 CONFIG_NSH_LINELEN=80 CONFIG_NUNGET_CHARS=0 CONFIG_PREALLOC_TIMERS=0 CONFIG_PREALLOC_WDOGS=4 CONFIG_PTHREAD_STACK_DEFAULT=1536 CONFIG_PWM=y CONFIG_RAM_SIZE=8192 CONFIG_RAM_START=0x1FFFF800 CONFIG_RR_INTERVAL=200 CONFIG_SCHED_WAITPID=y CONFIG_SDCLONE_DISABLE=y CONFIG_STACK_COLORATION=y CONFIG_START_YEAR=2015 CONFIG_STDIO_DISABLE_BUFFERING=y CONFIG_SYSTEM_STACKMONITOR=y CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=1536 CONFIG_UART0_SERIAL_CONSOLE=y CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USERMAIN_STACKSIZE=1536 CONFIG_WDOG_INTRESERVE=0