SHA512 (riscv32.img.gz) = 8afab2a8e22de13b71bc29e8d2bfd798d019dd7c87ec1caffd7c6a7b8da41936d9347d0bf775eb49b6ecefbe7a5ec312c983a81ac3fb1ca694310aa6debeaf7f