SHA512 (riscv32.img.gz) = 08d400aa84c77d2fb4795dbdcf3b9d3f0d8b4ca8d875bd9853cf989d6878ddb9f8cdd38b40e19ee99966f9a253d9e2aa390aa1a87afc61814f2dadd8c2494844