SHA512 (riscv64.img.gz) = 42b9990ae17c09279df935d821b1d3a3f5b42a91b43ea7836a5eb48c14e54612772911bd5c54146a0aac5fbe6c0f6b5d9ed04faf8234b6dd434b28d8dee112ff