SHA512 (riscv32.img.gz) = 12deb82c37c8068372db54a9270b78e17201e9a1292d77adae36009a46592e7281398adb92fe79de4cc83b93fd49f326b6eacad8f1c303d3da3e9dedc42b154e