That seems quite comprehensive. Does the Ada support build on the Pico C/C++ SDK or is it something from scratch?
It's mostly from scratch. The linker script and crt0.S are derived from pico-sdk and register definitions are generated from pico-sdk's SVD file. Everything else is Ada.