The GPIO API

• Included in OS: Yes

This is the GPIO API:

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

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

See the timer_uart_gpio_irqs test for example usage of the API.