SHA512 (riscv64.img.gz) = cefc98dcf2f37157e49e11b6df1e8436f3d16e5763938dda73b54782936b84c3f9ea1c9625300e9698db889661ed158b01d932b29c853c9687f378f1096d0d3a