Hello there,
I'd like to add support for rp2040 but based only on pico-sdk, I'd love to upstream it, so I'd like to ask if such a contribution is something that the maintainer(s) will accept.
Why pico-sdk only? Mostly because the arduino-pico can't be used with cmake projects .