SHA512 (riscv32.img.gz) = 85adb5c142909af91d2416143b5ff302f7e4191d561a1a8043c4af4bc038c09e44d29865ed824022abb6cc48cbc60ac0f373ae7baaf82bf810af9a9ff0e5905d