SHA512 (riscv32.img.gz) = 80fbb8a3541b1158ebeeb6edeb4400f2526f0b5489128ae88908f95464a88828db9c156441a70da0552f7620c093b521abf0f4a56218ab1aa2e2052e90aec078