On Thu, Apr 5, 2012 at 10:40 AM, dE . wrote: > Maybe someone from the UK can provide a Raspberry PI. That probably wouldn't be useful. According to folks on IRC, the armhf buildds are i.MX53 QuickStart boards, they're quite a bit faster than the Pi and our armel buildd's are 1Ghz ARMV5 Marvell developer boards with 1.5G of RAM and also have native SATA, also making them faster than the Pi. -- bye, pabs http://wiki.debian.org/PaulWise