SHA512 (riscv32.img.gz) = 3f158c04ce977e0ddae801d0c5f4971e059b253782aa308c4d63cd477757bddf3207752cdb8a1e7acd078e5bf0e52ef27eaebf6cebe35cbf0a9971bd5e03d492