# CONFIG_MODULE_SCHEDULER is not set
# CONFIG_MODULE_SCHEDULER_STATS is not set
# CONFIG_MODULE_SCHEDULER_CREATE_CONFIG is not set
# CONFIG_MODULE_SCHEDULER_USE_TIMERS is not set
CONFIG_MODULE_SCHEDULER_TIMER0=y
# CONFIG_MODULE_SCHEDULER_MANUAL is not set
# CONFIG_MODULE_SCHEDULER is not set
# CONFIG_MODULE_SCHEDULER_STATS is not set
# CONFIG_MODULE_SCHEDULER_CREATE_CONFIG is not set
# CONFIG_MODULE_SCHEDULER_USE_TIMERS is not set
CONFIG_MODULE_SCHEDULER_TIMER0=y
# CONFIG_MODULE_SCHEDULER_MANUAL is not set