SHA512 (riscv32.img.gz) = ef0b7adf0eae5f93285d63dd523a48dd205234fb34927da54f944ffdd95413234db2496b6b11507b652b46562c17a2c2b97f9529ade970ba571ae40454ebc8fc