SHA512 (riscv32.img.gz) = ef535e8de8bb9071edf079d3065a33b10cd0a7fafa6fa9f0cbc689b12b8312729e60e91f12eae02dd290021dff4896575e489ed279743ae538c770d4e059e990