SHA512 (riscv64.img.gz) = 38c3828ecc5e6cd9d6f5c322c5537a1e056abe1b855e5bcb3f8c392aa0b3395414ebc1f2702795492298b68b4349fea0391e2238cc377310492ff08592c77ea4