SHA512 (riscv32.img.gz) = c80f0cdd22bc889d4451303906f2c86690dce6521d5b948729d55f365696a6f10cbe00e0f7af8f5661062ba9f07aab1c720eb7b7d8cc643f7d58d8ceb2cb7d33