SHA512 (riscv32.img.gz) = bfad78d33f720be6fc251a687c79180a46215a04216ffdec5f79df71046a6d96607f6a9c5843b772d5b3a6ac0d748f70729bacb1415d22dc12de0259a72c0a51