SHA512 (riscv32.img.gz) = fac35fdfad86ed0afda5bfcf900e330601f16bd00ddf1a40ff888edcccc830771c0327ad3ec3e2f4712c62d92d5661d915d36db1d5b5827da9a0c3c71adf2e5e