SHA512 (riscv64.img.gz) = 802d7c589cbb375d666f7828242ee62992228b36d72f1fd400d241a9e32f3145cfab2bafd832b6a015754770076cac003ecc26e9ac919e550c94932e50960e24
SHA512 (riscv64mbr.img.gz) = b015d4e9a492b8403e4dda3dd97beb0a848d2e7a102519ffcf29683fe4de48c7cdeb5f22a58b256e34953550b3763d406b4ed324259eefd1b0b9154c148abfce