SHA512 (riscv32.img.gz) = b139de488aa0851983e0aa574842ce7dc0781dadcb705ca38f91c25d5916c30c0089d9dffe4bd6e82b86d4ea5863e33a23e61f2c344f2aacad05dace1d04e564