SHA512 (riscv32.img.gz) = aba39c4785700114790e38bcf0ada376027171b1656a334b30da1c268e390a2fe166a9df415ccc59d3f863dee0fc235fa4c9784edd3b53d44d28fcf73fa31424