hmm, where is Ed's file archive? is it the gp32x.de one? i couldn't find boot.fxe there.
i managed to get the gp32 working again, it's weird, i had to get the freelauncher (because it could actually read that), and then it sorta works now, but it's a pain in the ass. i guess the guy before me...