SHA512 (riscv32.img.gz) = bfaa856ee9b4f50afed9ed138963f89fe25cdff82f0c0012e766edbdc7b01a7a41e0eec38377cad823b9578b318976ba91f1296f5f8bb007fa3c38cb3fc5d739