SHA512 (riscv64.img.gz) = b40cdff4daa751f4078df97f32a0ff23121695742c39c55bd558800813578db818c619b51be3bf6219fb2faba0f6846227488f591ab1e88207fd64e5b1ef1a1b