SHA512 (riscv32.img.gz) = 7de5ac7edb135e8e5bee74ff84173ee9db2fae179ec60ae25fc43ccff7a84f1d85b30db91b073c11a93d8c476322ccd274d05963d5db9540606613833a02d240