Comment by MartijnBraam

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