SHA512 (riscv32.img.gz) = b42c7b2962545eb99ccdc4b4ed7127e909247ee37334a0b7905ac9256c8ee94c6788d08e76d5435b6e08c58004ae1aa0bee6a85a6cd4e339db2eb85199cbf0a3