SHA512 (riscv64.img.gz) = fac32ae47cd0b5a5a2e8a255a9811523a6759403c2b9dd05617e8c893cdb50220c89b3277723faa79d4e8606d50af8fd7a8243bc3446a46a142fa521db89a1d8