SHA512 (riscv32.img.gz) = 85cfa822c6b8956646f559fc7d89a6d8fbf3b2c13223810656256fa70ff3b937f469f94bcdd362e32f6bdcab718b559a21235026443ce651b9bcfbca48b1f3ea