# CONFIG_MODULE_SCHEDULER_USE_TIMERS is not set
# CONFIG_MODULE_SCHEDULER_TIMER0 is not set
CONFIG_MODULE_SCHEDULER_MANUAL=y
-CONFIG_MODULE_TIME=y
-CONFIG_MODULE_TIME_CREATE_CONFIG=y
+# CONFIG_MODULE_TIME is not set
+# CONFIG_MODULE_TIME_CREATE_CONFIG is not set
# CONFIG_MODULE_TIME_EXT is not set
# CONFIG_MODULE_TIME_EXT_CREATE_CONFIG is not set