The Timer API

This is the Timer module API:

https://github.com/epsilon537/boxlambda/blob/master/sw/components/timer/timer.h

For more info on the Timer module, refer to the Timer gateware component section.

See the timer_uart_gpio_irqs test for example usage of the API.