SHA512 (riscv64.img.gz) = 0ef89c01b7da3c315fbbcb7ba15eaab3420b144466c38b4a0d4c505631dc178c91dab2ab5069766096c636a32d9f9646beba9eed68ad7dcf9bdccf78de43250b