SHA512 (riscv32.img.gz) = 93b4725cd2e2ec05df3fbda64082aa7090ba871776f8b66bce769f609ac5a02f7ac0435fe33f8096329a3731682b52dd0a6d71e15299071395f93d9fa6398974