Not sure if this's been posted yet, but there a Linux port for the GP32 coming up. There's not much on the page yet, but it would be neat :)
