SHA512 (riscv32.img.gz) = 4b388baacb0e61d735bc51342a047ea9eb5d08b2b9d18c93b669bcf930c215c4e2b99889f0ad43dc6879c613b86b80dcbdee989248b283d296320a4d8a7bab7d