armhf Debian autobuilding network

Which hardware could buildd use?

Name

Processor

NEON

Memory

Internal storage

I/O

Ethernet

Price (w/o shipping)

Comments

Efika MX Smarttop

ARM Cortex-A8 800MHz (i.MX51)

Yes

512 MB

PATA 4/8 GB SSD

SD, USB 2.0

100 Mb

$129

Buildd used on debian-ports armhf

Compulab Trim-Slice

ARM Dual Cortex A9 1GHz (Tegra2)

No

1 GB

4/8/32 GB SSD

?

1 Gb

$319

Panda Board

ARM Dual Cortex A9 1GHz (OMAP4)

Yes

1 GB

No

SD, USB 2.0

100 Mb

$174

Dual-cores definitely make a (huge) difference for long parallelised builds
Currently in short supply, expected to be fixed soon

i.MX53 Quickstart

ARM Cortex A8 1GHz (i.MX53)

Yes

1 GB

No

SATA, ?

100 Mb

$149

On-board SATA is reasonably quick, and great when buildds land in swap-death, but the port isn't powered

ST-Ericsson Snowball

ARM Dual Cortex A9 1GHz (Nova A9500)

Yes

1 GB

4/8GB eMMC

?

100 Mb

$149

Samsung Origen

ARM Dual Cortex A9 1GHz (Exynos4210)

Yes

1 GB

?

?

None

$199

Globalscale D2 Plug

ARMv7 compatible 800Mhz (PXA510)

?

1 GB

8 GB eMMC

eSATAp, ?

1 Gb

$249