This is a relatively new project and you may encounter bugs. Please file GitHub issues or join the development discussion on Gitter: https://gitter.im/ada-lang/raspberrypi-pico.
Documentation