Hi there. We have a Toolchain WG has a Versatile Express board coming our way. It's a quad-core Cortex-A9 with 1 GB of RAM, so quite decent really.
Does anyone have a pressing need for it? If not then I'll take it and make it available over SSH.
-- Michael