This repository contains drivers for the RP2040 SoC. This library is meant to be used with pico_bsp, which supplies a a board definition for the Raspberry Pi Pico. Example code is available in pico_examples
Development discussion is happening on Gitter: https://gitter.im/ada-lang/raspberrypi-pico