is that <https://github.com/efabless/caravel_board/blob/main/firmware_vex/gpio_config/README.md> ?