SHA512 (riscv32.img.gz) = 5a7413082d97b7a0145014e908f2ca2a9ae6f53081dcbc1f0783146f4da343973989c56f20db41004e1fea57ec698b76d397f214493081e582e749f5724a39b3