SHA512 (riscv32.img.gz) = 9decef5037a91dad6738f9bf75f09eb0a8e85c2793fa78f77af6a222f892f46045a21de08fbb492a2e2ad697dd68476a5c1655faad47b45f1b7728b151e349f4