SHA512 (riscv32.img.gz) = faba72d2805b33de99d3a203e867fc30749148a05a8ad4602c272f715a5fef75a5e5b46b785898dcc37cc48b986118d60aea8b0c5472e6931145797255896ab4