SHA512 (riscv32.img.gz) = 9f02bfc971bd8634b6d7c5cad03576e7e0c8bcbd3149f27c1174a9d9611124f4b36fcca9229a2a117a384dc78378e4d3ad1691baa1f6ebeb0a933aeefcac9fa7