I've been talking to Iain Buclaw, gdc's leader, and was surprised to learn he has a quite workable ARM port available. To make it production-ready, we should have some continuous test integration, which entails ssh access to an ARM/Debian account. Is there anyone on this list who'd want to donate such an account? Thanks, Andrei