SHA512 (riscv32.img.gz) = 38f3ca5d7e0b3ee4df83ca19ff88bd03ffc51a350dad1757ee516968bcd82ed66f3c54f0ecf01a48d6df3449264788b62ba220a57de773af36b117e381ff9c4f