SHA512 (riscv32.img.gz) = 80231fef2dcdafb4bc35c4210607e60ff586e7a95a8f462f1e028c726cc22d113860666c9665191189642ebca4ae72f01b7549b6e8f70aca077a2419c1fa45ab