SHA512 (riscv64.img.gz) = cefe57fdeefb9d672f4e70a218b89698531f885334d9c17c50eae354770489cb13af8164b456fafc832b63a713f7d7421009ae7033318e46db519e85e9c93d9b