SHA512 (riscv32.img.gz) = 9d7613ec94cad5f508bf8d97a918c0249ec83341d0a6efeaae10eb9827fcf804621a1852641e6def408fec4d1d5d16a4de98cf970ed6ae826eed01198f96c900