SHA512 (riscv32.img.gz) = 894d259245a228b91e4190a06e7280ea0254228bc5f11334c8f90d7ca6186802f732ef68fb29c526ce1600ef11b8e9c4fb7e2ad669d3468470a52fe9731900e2