I’ve written some documentation for Ada on the Raspberry Pi Pico. This is still a work in progress, but provides quite a lot of context around the usage of the libraries and how to build a project on this platform.

https://pico-doc.synack.me