KMK running on the RP2040
I used the same modified PB-Gherkin I used for testing the ESP32-S2 to test KMK on the new Raspberry Pi Pico. There is a Beta version of CircuitPython available. The brand new Pico will go into bootloader mode when first plugged in. Just copy the UF2 file to the RPI-RP2 drive that shows up.
There is a detailed guide to CircuitPython on the Raspberry Pi Pico on Adafruit.
There is one modification needed due to the deprecation of the pulseio.PWMout. Change pulseio to pwmio in these two locations in the led.py file 1 2. To do this you will need to download the current files instead of the release file (which is compiled and not editable). Unzip the file and copy the kmk folder and the boot.py file to the root of the CIRCUITPY drive. Then edit the led.py file in the kmk folder.
I used the same config file as for the ESP32-S2, only modifying the pin definitions.
I made a Gherkin PCB just for the Raspberry Pi Pico, the PiPi Gherkin.