SHA512 (riscv32.img.gz) = 200d0c6f17935ce965d38d3f56e353f1cdf0a2f6711a8584c7912cad55a53ccc8203dc095fbd8bb1731d304e7c1ca0ff52676e560a2b22f037d38fc5d115920d