SHA512 (riscv32.img.gz) = 712800ac2116fee5e3df5ac7c9c67cded18f8423ff20c4aa25846d83bb1e72bc1fbf97bbd57b702e35a240c6c2df293088fbddf1aabef523590c4aa6c39dbfb5