SHA512 (riscv32.img.gz) = bef5e95509e76948b1f84c17e80245e75298745ef022ec9b6cf01a6f78fc62c87dd25b21d438898432b9acc1085854ba35cea070659b1126568ed5717457c1a7