CONFIG_SELECT_CORTEX_M=y
CONFIG_configCPU_CLOCK_HZ=20000000
CONFIG_SELECT_SYSTICKER=y
CONFIG_configSYSTICK_CLOCK_HZ=500
CONFIG_configTICK_RATE_HZ=100
CONFIG_configUSE_PREEMPTION=y
CONFIG_configUSE_TIME_SLICING=y
# CONFIG_configUSE_PORT_OPTIMISED_TASK_SELECTION is not set
# CONFIG_USE_TICKLESS_IDLE is not set
CONFIG_configMAX_PRIORITIES=5
CONFIG_configMINIMAL_STACK_SIZE=128
CONFIG_configMAX_TASK_NAME_LEN=16
# CONFIG_configUSE_16_BIT_TICKS is not set
# CONFIG_configIDLE_SHOULD_YIELD is not set
CONFIG_configTASK_NOTIFICATION_ARRAY_ENTRIES=1
CONFIG_configQUEUE_REGISTRY_SIZE=0
# CONFIG_configENABLE_BACKWARD_COMPATIBILITY is not set
CONFIG_configNUM_THREAD_LOCAL_STORAGE_POINTERS=0
CONFIG_SELECT_UINT16=y
# CONFIG_SELECT_UINT32 is not set
CONFIG_configSTACK_DEPTH_TYPE="uint16_t"
# CONFIG_SELECT_UINT8 is not set
# CONFIG_SELECT_SIZE_T is not set
CONFIG_configMESSAGE_BUFFER_LENGTH_TYPE="size_t"
# CONFIG_configUSE_NEWLIB_REENTRANT is not set
CONFIG_configUSE_TIMERS=y
CONFIG_configTIMER_TASK_PRIORITY=0