Since it was so easy setting up the toolchain, I've decided to contribute to rp-hal-boards by adding the AE-RP2040 and porting examples for it and the pico lipo. It will give me more experience using rust for embedded programming. I'm pretty rusty at using github so I'll get a refresher on that as well. It shouldn't take long for the Pimeroni pico LiPo as it is pin compatible with the Raspberry Pi Pico.

I actually bought two AE-RP2040 boards which means I can solder on pin headers on the unused one and put it on a breadboard to try out some examples.

The pimeroni pico LiPo also needs headers, so I can put it on a breadboard for prototyping. For the final version I'm not sure how I will connect everything, I might not even end up using the pimeroni pico LiPo at all, not sure yet. I might go for a stamp or standard rp pico instead and solder that to a board with levelshifters and such. When the breadboard prototype works I can figure that out. A problem for future me.