void pwm_start(gptimer_t* const timer) { gptimer_start(timer); }
void scheduler_start(uint32_t speed) { irq_add_listener(GPTIMER2_IRQ, global_scheduler_context_switch); gptimer_init(GPTIMER_SCHEDULER, speed); gptimer_start(GPTIMER_SCHEDULER); }