SHA512 (riscv32.img.gz) = 583b62242b8b0307bd7c8edbcc73b2d59491d591acc495050709e1661e26f7de51d5685647d2709ba1601d676dc57d5b70a2c2a9164e92c916ec412f63763c14