SHA512 (riscv64.img.gz) = ba192fd72821f1fd2b92768bbe429077206edec3f0409d0766b6c79bb8774db9a10e8a198fd689aa25ffe3c5ea207f1826aa59f2800e0f8dc61e5b4890bb8412