SHA512 (riscv32.img.gz) = 85f8284bc7fadabd9f42ac7b4b2add93d19285f5c9fa72f6587bb47706907b164dad538c38a36841153b6ec92f05a09d6959d648f22760ef0146c3d7d6df6927