SHA512 (riscv64.img.gz) = 3db474e42a77e47806d88be2ee369da73ad42b82c4c725a5921093f814aebf1b86b71562857671a4fa084e6b3f79e6b07364e259245b7f3c35a912a6e66bdaeb