Buildds and hardware

• Currently relying on dev boards:

• Marvell Feroceon (v5) for armel
• Freescale imx53 (v7) for armhf

• Issues

• New hardware – real servers

• Common kernel → common buildds?