# CONFIG_DEV_NULL is not set # CONFIG_LIBC_LONG_LONG is not set CONFIG_ARCH="arm" CONFIG_ARCH_BOARD="nucleo-f302r8" CONFIG_ARCH_BOARD_NUCLEO_F302R8=y CONFIG_ARCH_BUTTONS=y CONFIG_ARCH_CHIP_STM32=y CONFIG_ARCH_CHIP_STM32F302R8=y CONFIG_ARCH_HIPRI_INTERRUPT=y CONFIG_ARCH_RAMVECTORS=y CONFIG_ARCH_STACKDUMP=y CONFIG_BOARD_LOOPSPERMSEC=16717 CONFIG_BUILTIN=y CONFIG_BUILTIN_PROXY_STACKSIZE=512 CONFIG_DISABLE_ENVIRON=y CONFIG_DISABLE_MQUEUE=y CONFIG_DISABLE_POLL=y CONFIG_DISABLE_POSIX_TIMERS=y CONFIG_FDCLONE_STDIO=y CONFIG_INTELHEX_BINARY=y CONFIG_LIBC_FLOATINGPOINT=y CONFIG_LIBM=y CONFIG_LIB_BOARDCTL=y CONFIG_MAX_TASKS=4 CONFIG_MAX_WDOGPARMS=1 CONFIG_NAME_MAX=16 CONFIG_NFILE_DESCRIPTORS=8 CONFIG_NFILE_STREAMS=8 CONFIG_NUCLEOF302R8_HIGHPRI=y CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=512 CONFIG_PREALLOC_TIMERS=2 CONFIG_PREALLOC_WDOGS=1 CONFIG_PTHREAD_STACK_DEFAULT=1024 CONFIG_PTHREAD_STACK_MIN=1024 CONFIG_PWM=y CONFIG_RAM_SIZE=12288 CONFIG_RAM_START=0x20000000 CONFIG_RAW_BINARY=y CONFIG_RR_INTERVAL=200 CONFIG_SCHED_WAITPID=y CONFIG_SDCLONE_DISABLE=y CONFIG_START_DAY=6 CONFIG_START_MONTH=12 CONFIG_START_YEAR=2011 CONFIG_STM32_ADC1=y CONFIG_STM32_ADC1_DMA=y CONFIG_STM32_ADC1_DMA_CFG=1 CONFIG_STM32_ADC_LL_OPS=y CONFIG_STM32_ADC_NOIRQ=y CONFIG_STM32_DMA1=y CONFIG_STM32_JTAG_SW_ENABLE=y CONFIG_STM32_PWM_LL_OPS=y CONFIG_STM32_PWR=y CONFIG_STM32_TIM1=y CONFIG_STM32_TIM1_PWM=y CONFIG_STM32_USART2=y CONFIG_SYSTEM_READLINE=y CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=512 CONFIG_USART2_SERIAL_CONSOLE=y CONFIG_USERMAIN_STACKSIZE=1024 CONFIG_USER_ENTRYPOINT="highpri_main" CONFIG_WDOG_INTRESERVE=0