While the arduino framework is convenient, some may prefer to use the pico sdk directly with these mcus. Please add support to the official SDK https://github.com/raspberrypi/pico-sdk