SHA512 (riscv32.img.gz) = 552959216867c183217c15844176251d4fc200c55ccef03e54ae4e0f9bf12e2c2753fabdd6962a44bb28d8266e8d45f8ae36a9cf434ea89b4789342227743a96