Hacker News Reader

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

That's a microcontroller.

Both cores are actually ARM cores, but you can switch both cores to be RISC-V cores as well on boot.

Technically that's four cores, two of which that can be active at once