Request to add PlatformIO support for Earle Philhower's Arduino-Pico (Raspberry Pi Pico SDK)

Would be a good feature. I’ve opened a feature request issue at Add support for alternative Arduino core earlephilhower/arduino-pico · Issue #13 · platformio/platform-raspberrypi · GitHub.