# CONFIG_DISABLE_ENVIRON is not set # CONFIG_DISABLE_POSIX_TIMERS is not set CONFIG_ANALOG=y CONFIG_ARCH_BOARD_SPARK=y CONFIG_ARCH_BOARD="spark" CONFIG_ARCH_BUTTONS=y CONFIG_ARCH_CHIP_STM32=y CONFIG_ARCH_CHIP_STM32F103CB=y CONFIG_ARCH_INTERRUPTSTACK=512 CONFIG_ARCH_IRQBUTTONS=y CONFIG_ARCH_STACKDUMP=y CONFIG_ARCH="arm" CONFIG_ARMV7M_TOOLCHAIN_CODESOURCERYL=y CONFIG_BOARD_INITIALIZE=y CONFIG_BOARD_LOOPSPERMSEC=5483 CONFIG_BUILTIN_PROXY_STACKSIZE=768 CONFIG_BUILTIN=y CONFIG_CC3000_PROBES=y CONFIG_CC3000_SELECT_STACKSIZE=390 CONFIG_CDCACM_EPBULKIN_HSSIZE=64 CONFIG_CDCACM_EPBULKOUT_HSSIZE=64 CONFIG_CDCACM_RXBUFSIZE=40 CONFIG_CDCACM_TXBUFSIZE=40 CONFIG_CDCACM=y CONFIG_DEFAULT_SMALL=y CONFIG_DISABLE_POLL=y CONFIG_DRIVERS_WIRELESS=y CONFIG_EXAMPLES_CC3000BASIC=y CONFIG_EXAMPLES_USBSERIAL_TRACECLASS=y CONFIG_EXAMPLES_USBSERIAL_TRACECONTROLLER=y CONFIG_EXAMPLES_USBSERIAL_TRACEINIT=y CONFIG_EXAMPLES_USBSERIAL_TRACEINTERRUPTS=y CONFIG_EXAMPLES_USBSERIAL_TRACETRANSFERS=y CONFIG_EXAMPLES_USBSERIAL=y CONFIG_FAT_LCNAMES=y CONFIG_FAT_LFN=y CONFIG_FS_FATTIME=y CONFIG_FS_NAMED_SEMAPHORES=y CONFIG_INTELHEX_BINARY=y CONFIG_LIB_BOARDCTL=y CONFIG_LIB_RAND_ORDER=2 CONFIG_LIB_SENDFILE_BUFSIZE=0 CONFIG_MAX_TASKS=12 CONFIG_MAX_WDOGPARMS=2 CONFIG_MM_SMALL=y CONFIG_MQ_MAXMSGSIZE=8 CONFIG_MTD_PARTITION=y CONFIG_NAME_MAX=8 CONFIG_NFILE_DESCRIPTORS=5 CONFIG_NFILE_STREAMS=5 CONFIG_NPTHREAD_KEYS=0 CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=768 CONFIG_PREALLOC_MQ_MSGS=1 CONFIG_PREALLOC_TIMERS=2 CONFIG_PREALLOC_WDOGS=2 CONFIG_PTHREAD_STACK_DEFAULT=340 CONFIG_RAM_SIZE=20480 CONFIG_RAM_START=0x20000000 CONFIG_RAW_BINARY=y CONFIG_RR_INTERVAL=200 CONFIG_SDCLONE_DISABLE=y CONFIG_SST25_SECTOR512=y CONFIG_SST25_SPIFREQUENCY=80000000 CONFIG_START_DAY=30 CONFIG_START_MONTH=11 CONFIG_START_YEAR=2013 CONFIG_STDIO_DISABLE_BUFFERING=y CONFIG_STM32_CRC=y CONFIG_STM32_DISABLE_IDLE_SLEEP_DURING_DEBUG=y CONFIG_STM32_DMA1=y CONFIG_STM32_JTAG_FULL_ENABLE=y CONFIG_STM32_SPI_DMA=y CONFIG_STM32_USART2=y CONFIG_STM32_USB=y CONFIG_SYMTAB_ORDEREDBYNAME=y CONFIG_TASK_NAME_SIZE=7 CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=768 CONFIG_USART2_RXBUFSIZE=32 CONFIG_USART2_SERIAL_CONSOLE=y CONFIG_USART2_TXBUFSIZE=32 CONFIG_USBDEV_TRACE_NRECORDS=32 CONFIG_USBDEV_TRACE=y CONFIG_USER_ENTRYPOINT="usbserial_main" CONFIG_USERMAIN_STACKSIZE=1024 CONFIG_WDOG_INTRESERVE=0 CONFIG_WL_CC3000=y