SHA512 (riscv32.img.gz) = dedd619a84ca4fd19fa67f082f7f371e64ab088764dcec2be97bc49d45fad46ade6384b07818faf7e4b6d278585c2082dff6608368414e5fdbb75b04f1df8b5b