SHA512 (riscv32.img.gz) = b25d9d45a6f2ba8b353dc25b8dff20b85714fd585421b4e13651bde71bae3da2cb8624e29dd74cc381c780b9df3951f2bd8dec1d18690f5c768c0ad042868e77