SHA512 (riscv64.img.gz) = 42db2a660eb95ed83b7283c149e89995d013a795aac49473dcdae425704705d62149dba11ddb77c39acf7aa6ea8ed1e290461b0e4fd927d7b9fe62cf00f23ef7