SHA512 (riscv32.img.gz) = 5df5a74226d70bbfc66ac2626702ab1aae75c31bdf1d001e9bff680e6734098f9d7227c33716f3dafa5056855dce8e52d0aae566a2285c82c68eef13a121f773