SHA512 (riscv32.img.gz) = 815432cc4f45f1e833f1994bd2b3e078a6946719c4fd5b07b6cace570cd5e650fb60322ee4e2b076795498586ea9b9385e514edf9b6af96dc7faf81c2f1bd138