# CONFIG_MODULE_SCHEDULER_CREATE_CONFIG is not set
# CONFIG_MODULE_SCHEDULER_USE_TIMERS is not set
# CONFIG_MODULE_SCHEDULER_TIMER0 is not set
# CONFIG_MODULE_SCHEDULER_CREATE_CONFIG is not set
# CONFIG_MODULE_SCHEDULER_USE_TIMERS is not set
# CONFIG_MODULE_SCHEDULER_TIMER0 is not set