SHA512 (riscv64.img.gz) = a2fa4d79f19fbbc6d388427f8cbaf5d998e480c6b445650c1c4ad65f1985099c738124e6e08a2d4400df0a4ca9735877f7ad37348e1260f93ed8a91a463f15f3