SHA512 (riscv64.img.gz) = b9979441d4c83e82e5d8240a549880d238075eb14e81be0677f06fabb1663c87d27206bfaea2ddb05c19299c62810840b1782fc090a06243c547406d59827794