SHA512 (riscv32.img.gz) = 3df451df279ef4a35b760fe8548d8ae41aa8256dd37c6f0e44d812f38c856a5f037acb113163f39e4117ac24d2d5d65231bc85b5f7580f9bb25df0989846641f