SHA512 (riscv64.img.gz) = 8fbd2fc85697f3b98a8159dfecab4fa62a0ec12f5371b11fd201de3d5338f9686308b618f08663de8f39f365da004d29b563112ca0b02db099e5fd0c2e78e70b