Progress: * Linaro's KVM/QEMU mini-summit, aimed at summarising current status, identifying what needs to be done and what Linaro should be doing: https://wiki.linaro.org/LEG/Engineering/Virtualization/201302MiniSummit * implemented support for variable-length qdev array properties in QEMU and sent out patch for this plus vexpress fixes which use it * investigated how to run the Linux Test Project syscall tests under QEMU to improve the quality of our linux-user mode testing (wrote up a howto for the QEMU wiki: http://wiki.qemu.org/Testing/LTP many thanks to fabo for whipping up a Jenkins job to run these nightly) * couple of trivial linux-user patches as example low-hanging fruit revealed by the LTP test results

-- PMM