looks it could be used to generate a file like this to link in our firmware: https://github.com/efabless/caravel_board/blob/main/firmware_vex/nucleo/gpio_config_data.c