SHA512 (riscv32.img.gz) = aeeb3c77d7d07e071ce1ac6f7e1ed33d710a8e6da5249d89af5a86e6f9c722ee51d85725c3d74b8fa29f2cb5f08615ce3677188564116fe4eda43ccbba7fce4f