[MartijnBraam]

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

[xnzakg]

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