devio=1.2-1build1
flash-kernel=2.28ubuntu19linaro1
linux-image-2.6.38-1003-linaro-vexpress=2.6.38-1003.4~ppa5
u-boot-tools=2010.12-2
u-boot-linaro-ca9x4-ct-vxp=2011.04.2-0ubuntu1
linux-image-linaro-vexpress=2.6.38.1003.4
linux-firmware=1.52
uboot-mkimage=2010.12-2
wireless-crda=1.13
hwpack-linaro-vexpress=20110526-2