devio=1.2-1build2
flash-kernel=3.0~rc.4ubuntu44+linaro1
fvp-pre-boot=0.2.20131029+git14+ba3155b-0linaro1
ubuntu-vexpress-extras-config=0.4
linux-firmware=1.117+linaro1
libuuid-perl=0.02-5
kvm-boot-wrapper=0.1~ppa1+bzr48+bzr16~saucy1
linux-base=3.5ubuntu4
uefi-image-vexpress=1:0.1+git37+20131123+aec0833-0linaro1
linux-image-3.13.0-1-linaro-vexpress64=3.13.0-1.1ubuntu1~ci+131215025922
linux-headers-3.13.0-1-linaro-vexpress64=3.13.0-1.1ubuntu1~ci+131215025922