SHA512 (riscv32.img.gz) = b1d4e9bad3e43d14319605eae478e5a519cd87a32f0ed49b2874d657e3dab427b02ecaa974bfd6177a0d22baa1475ad67e9abeedf1d41856a51f70ac52d032c9