X-Git-Url: http://git.droids-corp.org/?a=blobdiff_plain;f=config%2Fconfig.in;h=500f69d3e8de29e6a600e339a7c007bdab0d62c4;hb=90b8f48b57f607a47b9819f69538d6fc1c6bcf08;hp=8c479c047996e23ba858dfdf611e43d699fa86a0;hpb=4dc5fba2e8aba8e89445fb532f9969a57e24b99c;p=aversive.git diff --git a/config/config.in b/config/config.in index 8c479c0..500f69d 100644 --- a/config/config.in +++ b/config/config.in @@ -162,6 +162,8 @@ choice 'Scheduler config' "use_timer_module CONFIG_MODULE_SCHEDULER_USE_TIMERS\ fi +bool 'Callout' CONFIG_MODULE_CALLOUT + #### TIME dep_bool 'Time' CONFIG_MODULE_TIME \ $CONFIG_MODULE_SCHEDULER