SHA512 (riscv32.img.gz) = 13d6d8eae9abec3c2d41002babc9c8394272f2bd04ada268e906217c8401f665069f98781185b79ea38fbe6cc2facbb862c0b4405f354a7aacf1a50eef5ec0e9