If you just need a Debian arm/armel development environment, there is a 600MHz 512MB big-disk armv5t you can use here over ssh. If that's useful, mail me privately suggesting your preferred username M