SHA512 (riscv32.img.gz) = 200f8e5fa49a33822a87aaa663623e5c9f603c41bb8bada9b35cd569dfb278c212dc8bd4fbe074ce1050d43883834c22869cd8516b8762b28d005d0d9eeb462a