Mike:
As a DD, I have access to leisner. It's not a buildd, though.
Feel free to consult with the powers that be to turn it into a buildd, if that's possible.
or a build on something faster than leisner
Good luck with that. :) Compared to even a mediocre PC, ARM machines aren't known for their performance. They rock in the embedded world, though.
b.g. -- Bill Gatliff bgat@billgatliff.com