SHA512 (riscv64.img.gz) = 4542f5d6a44bd71e364b6a1230dc586361a132f443121b56839919ade227c9735e2a1bc4294bbfae65e4e8fc17a52f02cb4f31775ed6d676d1367c888658d6ba