SHA512 (riscv64.img.gz) = 71c7d8d25eb19f1bedc624399227c9dbce362f3146f4e3e81c2cb4a5f0c726e3c78d03ea4dcad977520a8bae6898b3db0198487cd8b6450ab92cf95428aa3c33