/*
 * this is fucking dumb
 */


extern hw_timer_t *tmr_isr[6];                      // moved here as we need to temporarily
extern volatile uint8_t tmr_isr_pending[6];         // disable while serving http (temp bugfix)



void timer_fucking_retarded_workaround();