SHA512 (riscv32.img.gz) = b5702d65f62f6b39d0e3d9df682f5739db13ef376534e55c4f24829291802338bbf6ed69e8d75fcfdee4ba009c532cce501adad279ed2d9d2c8302af3c388a7b