SHA512 (riscv32.img.gz) = b88a935b2d6cf0dd20455eb2f320fd5e575c9f077cde38741dbc07502387851ea8e20a4514cbdb7c52e4ffa5c018ff369ac5e6bab9df0268164bad15280b8cbe