SHA512 (riscv64.img.gz) = fa5f220c59396f5b3a384dcf964bd32c0e4ca8ea0dbeda60e6aca0374b2b6b43cdae4acbe9715b7de1b03e1a5500a2d5f41f154ee25812696040a0f4bd512df5