SHA512 (riscv64.img.gz) = aefc8de4e673811b0f71bb5a450c8e63594e8574d3002b0ee381d39eb7fba35747f0ee5e45bc19eba7eb3cd16b39e66cea945e5f317fe0643ec3931b977ae4e6