SHA512 (riscv32.img.gz) = 47b7aae20e6c9401d9dd5f6e4f4c9e14358f1bb0f6d4c1f9c0a024060409f9e7ebf3749123e6209b810619b1ad5666b72ffb9063c0da99e74280a803c22730e3