Hi folks, it seems to me the GP32 is really dead for good. The last work commit on it was 2006-10-11 (rev 24273). Unless somebody steps up to take over the port for *real*, I propose that we remove the port after a deadline of two months (i.e. remove it after May 15). Any comments? Bye, Max