#include "utility/template/gpio.h"
using pinnacle_gpio_t = uint16_t;

An alias for platform-specific representation of GPIO pin numbers