Configuring general-purpose timers