SHA512 (riscv32.img.gz) = 0db437ff31f874838f271f6c509252e9886b9a53fe27696b1e02ba0ea66f041af48ad98a84f22f48d419647ccbbb93acffc5f513351d72c14a73931ef64ad1af