SHA512 (riscv32.img.gz) = d30bb80c10ffd7d36ffb45bdf1477b0939f066c7b8f5ff1b32e1a2ecd429d5e4404a3bd1ed8f43c8d3f678decbfbaa5d8bb0ffdf75b8428543884f2c504aeb15