SHA512 (riscv64.img.gz) = 83b422e51ff4259f36bc817127a545eca78388245ed892b0a7e8fc7941c8b543bf98344a55dd1b30960c28e5ce85511a3367197114b989f543e68ea6623d9e51