SHA512 (riscv64.img.gz) = badcc61117ce58ec413d665d8dc421a086f943f37bb394a1ae70520dcca8d638014bfa8361b287aa53718473b054316601e46275da2a22bcc26288fee0c6ed7d