https://pdroms.de/miscellaneous/gp32-linux-bootloader-gp32-misc