SHA512 (riscv32.img.gz) = 72e4c6086f15c5cdb5a988290fb620cd14d66c8e469e6f1aa08b8ea7cb2bd3e324d6ebdeff8e8956a9522226ae46a147c645f780a7ecb5c1b77c0da14cdb5b36