SHA512 (riscv32.img.gz) = 72d3a9a37c6737cd80cc17586631534c4c85d485659ab7ea345ad17010c785e9993f0c5eb495a53fb7ac32c64dba47f395a26fb9752bddb3be02b9be79ae8e2f