SHA512 (riscv64.img.gz) = fdef18692dcad6d6b75542015d8853117771cfe1479dc12a508536cd84da6efb6b1d485dacb8cf3fd1c2454cc5c1255c9373a1139b2a17ce2a44c5725656a727