On 02/07/2015 16:25, Jason J. Herne wrote:
> Hi Paolo,
> I like your suggestions. I'll switch to a static timer and create it in
> cpu_ticks_init.
> So no need for a timer_free anywhere then?

Nope. :)

Paolo

Reply via email to