rp2040_hal VS Ada_Drivers_Library

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/

Hi, I'm trying to compile any example from the project Ada_Drivers_Library, but it seems that I can't get the toolchain correctly installed:

Trying to fix a problem with the accelerometer, actually with TWI (a.k.a. I2C) on BBC Micro:bit (v1): PR raised.

Tried to work out why TWI (Nordic’s I2C) doesn’t work on BBC micro:bit (v1.3b, anyway). Failed, so far.

Spent days to make MAG3110 work on Micro:bit, but then Fabien told me that it has been fixed in April. It appears that my local clone of Ada Drivers Library wasn't updated! :(

Got I2C & SPI drivers for the LPS25H barometric sensor accepted in the Ada Drivers Library.

You could take a look into the Ada_Drivers_Library. It provides BSPs and examples for different boards, so that's an easy way to get started. For the start you could get any of the boards supported there, depending on the hardware features you want to have.