devio=1.2-1build1
flash-kernel=2.28ubuntu19linaro2
u-boot-tools=2010.12-2
u-boot-linaro-ca9x4-ct-vxp=2011.08.5-0ubuntu1~ppa~natty1
linux-image-linaro-vexpress=3.0.0.1006.6
linux-image-3.0.0-1006-linaro-vexpress=3.0.0-1006.8~ppa~natty
linux-firmware=1.60~linaro1
uboot-mkimage=2010.12-2
wireless-crda=1.13
hwpack-linaro-vexpress=20110926-0