SHA512 (riscv32.img.gz) = 8af51424ed793734e510b85a581367290f8abd5fa49b386b6fe3e4b00c0913c639f9ce1e4e8dccc4e272bd731b428035fa8dd062ea7d19c035338f304c86f23e