Have just uploaded Alessandro Manno's GP32 IDE to the website. Can be found under the developer links. My Webpage