SHA512 (riscv64.img.gz) = 56be47e8ad540f8bdf07216ba4565a18cc75e7403d811793c5e1fb97e2a0751ea2234e6cf33a938b1f3d4a4baa4e89df63343a43a034709dc50852116efc5da4