SHA512 (riscv32.img.gz) = bef818e03923523f0d34532a6bfb5708ccdc829b596ec1346c322094a42f7dfcce9739ffd11df95e7aa2d8d74825aa0bd77b3428b97edd9d0e7f8053cf76eb51