SHA512 (riscv32.img.gz) = ef4bb433c418c3e1ec96610276999460e67bcb19b569b04fda3d5de8755dd1a84f134be17245d18643f1b0ad86c437d9724b47e1b496493ea754114d57dab9ed