rp2040_hal VS BBS-BBB-Ada

You can go bare metal for the raspberry pico. Maybe it's also interesting to you: https://pico-doc.synack.me/

In this release we improved Alire integration. Now you don't need the compiler to be in the PATH (only alr) when you are working with a crate, because Alire will configure it for you. Suppose you setup a crate for Rasperry Pico, if you open it in VS Code, then navigation should work out of the box. Also any Alire configuration is skipped altogether if the VSCode was launched with alr edit or alr exec.

If you want a more modern processor, pick the RPI Nano. You find extensive doc here: https://pico-doc.synack.me/

Ada on Raspberry Pi Pico website ( https://pico-doc.synack.me/)

AdaCore's docs are fantastic for understanding why things are done the way they are. However, when I'm learning a new platform or language I prefer to see a lot of practical examples first. That's what I tried to do with my "Ada on the Raspberry Pi Pico" project:

https://pico-doc.synack.me/

I had a similar problem trying to use them using Ada. The solution that I found used the /sys filesystem (though u/excogitatio below says that that's deprecated). The specific paths that I found for the pins are in https://github.com/BrentSeidel/BBS-BBB-Ada/blob/master/src/bbs-embed-rpi.ads and how I used them is in https://github.com/BrentSeidel/BBS-BBB-Ada/blob/master/src/linux/bbs-embed-gpio-linux.adb. If you're willing to wade through Ada code, you may find other interesting things in that project.

I picked up a MCP4725 I2C DAC and an ADS1015 I2C ADC from AdaFruit and plan to write drivers for them for my personal driver library (as a side note, if anyone wants to move any of these to the Ada Driver Library, feel free). I am thinking of using these to add another module to my Raspberry Pi Mainframe Simulator so that I can have some knobs and a meter doing important looking things.