SHA512 (riscv32.img.gz) = 9b248d72331b95c41c94ce0f2897dfefe3ccc1929bf93d79b4d6827f7cfd4bd3728e6d2cccf9ceebcd091699fd9cb1d136b8e86cbb7df003725bdb13fa8fb8e4