SHA512 (riscv32.img.gz) = 80ee5b5d7d1b52786f8f7ba2655664fe8d425f4bb617452f71af36b7f8a5a1193ec34b0a19b47d9268648866654da32d7b7b203e26ad3caa602c0f5003402202