SHA512 (riscv32.img.gz) = 3517f6885b9f6d9127c9ec7b28e0a71c530a1325eda7d02eb28f1c158e0af6641e2d31969e8eba8d13b4966b8c66388a3ee0f54efbc91224b8e9fda60fc6674e