devio=1.2-1build2
arndale-pre-boot=0.0.2.20130101-0ubuntu1~linaro1
flash-kernel=3.0~rc.4ubuntu27.2~linaro1
uefi-image-arndale=1:0.1+git15+20130419+09259ca-0linaro1
linux-image-linaro-arndale=3.9.0.1.1
arndale-ethernet=0.1
u-boot-tools=2012.04.01-2
linux-headers-3.9.0-1-linaro-arndale=3.9.0-1.1ubuntu1~ci+130422185028
linux-image-3.9.0-1-linaro-arndale=3.9.0-1.1ubuntu1~ci+130422185028
linux-firmware=1.98~linaro1
u-boot-linaro-arndale5250=2013.01+7644+49+201303280928~quantal1
uboot-mkimage=2012.04.01-2
linux-headers-linaro-arndale=3.9.0.1.1
libuuid-perl=0.02-4ubuntu2
linux-base=3.5ubuntu4
hwpack-linaro-arndale=20130423-299