[env:pico] platform = raspberrypi board = pico framework = arduino