SHA512 (riscv32.img.gz) = 80d46305049396c373a65bf3c70ce275dbb8b211396fc284fb701fb1f319d6b4e4b4ae0a49545b6c309e1f93a63e6b01f0d96d7bf8e62df026bd18598136afb0