SHA512 (riscv32.img.gz) = 525b6275f5ff64ebb1898302fd0bddb33e112013ae0852630b50aa618a1487c68b636051c7678833146b0031415cd7a8f26bba516f37ff005be821271412be3f