Comment by kofta

RPi-Pico2 uses the RP2350 which has two cores, one is a RISC-V core, and its source code was released on GitHub.