SHA512 (riscv32.img.gz) = 8b812b45ab4939b74fa795fe31e819fd1d373f6b0cbce9ef01b1e80b91b5f2826e51c122a5e9b3bbfbbccb9f6a3c5f1d1f24911c1bf807fab07673c1c8512388