SHA512 (riscv32.img.gz) = d7d28d73343558bf107aa6bc9883706264ba35ae86b0c0e06fe0c1f12a95cc348c56aa443b491997c312d0457e8f5de6d23c7e3ddf401f2d5752a21e449ef6c1