SHA512 (riscv32.img.gz) = 5ade693acc1ecaab141e72a587a34b3606d7e1b1807bf498a6a9f17bc5eb17622b6cc9778c84d5d98d12462227bef400f889aff17547405c197622a2fc632dd5