SHA512 (riscv32.img.gz) = b5a01090c3d4b7c7f19009251c380f0f59f7b9a48395f0331b7f56203a77dfd7bd4e8feb260de545680f4cfd5e98b306f309ed6ac441e1561ff382e4af6a2b9f