SHA512 (riscv32.img.gz) = df622deeccca5667a6619880f18e4ee75ef9f20f8c98d64c6aff40cabbd17dd1dafc4f21dd3e4bd6639cf336e0b163e14d151ba6e8165fd050e5196b177059fb