b7167a2ca5
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.