Ada drivers for the Raspberry Pi RP2040 SoC
Why do you think that https://github.com/BrentSeidel/BBS-BBB-Ada is a good alternative to rp2040_hal
Ada drivers for the Raspberry Pi RP2040 SoC
Why do you think that https://github.com/BrentSeidel/BBS-BBB-Ada is a good alternative to rp2040_hal