ddebcb409b
different TIMER_FREQ value than default. Accomplish this via the config file rather than via an #ifdef.
different TIMER_FREQ value than default. Accomplish this via the config file rather than via an #ifdef.