SHA512 (riscv32.img.gz) = de53956ea0a13f0a7e202a77a449ee0660f6f2886d78d01d88c8990a686939fcd21b9f3bf6534402032af534d9550da29ccdb7fbb809f50534d7003529a1b3bd