SHA512 (riscv32.img.gz) = b8671bc292f38f7c976a2cbf9ee39e26479009070968a9c39823ba95f36004bf8778a8eec75c606ecc78c8a744ba94ef8b90d45a9c04eaffbeac4d1957ed95ac