SHA512 (riscv64.img.gz) = ba5fbb223104a5852027d493a20f0a7c1e4aea43918892dc5e906af6dcd8b74933b3ad6f9e3b7777c807cd8c746c4c4660ba7e172555524bb0da85d44bccd441